Search Results for author:
Found 3 papers, 0 papers with code
Example-based Synthesis of Static Analysis Rules
In this paper, we address the problem of automatic synthesis of code quality rules from examples.
Horn-ICE Learning for Synthesizing Invariants and Contracts
We design learning algorithms for synthesizing invariants using Horn implication counterexamples (Horn-ICE), extending the ICE-learning model.
Invariant Synthesis for Incomplete Verification Engines
We propose a framework for synthesizing inductive invariants for incomplete verification engines, which soundly reduce logical problems in undecidable theories to decidable theories.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
