The following pages link to (Q2763999):
Displaying 25 items.
- Houdini (Q31317) (← links)
- Guiding Craig interpolation with domain-specific abstractions (Q300418) (← links)
- From invariant checking to invariant inference using randomized search (Q518404) (← links)
- Modular inference of subprogram contracts for safety checking (Q604392) (← links)
- Verifying relative safety, accuracy, and termination for program approximations (Q682353) (← links)
- Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists (Q746778) (← links)
- An integrated approach to high integrity software verification (Q861714) (← links)
- Annotation inference for modular checkers (Q1607087) (← links)
- Automated verification of functional correctness of race-free GPU programs (Q1703009) (← links)
- A learning-based approach to synthesizing invariants for incomplete verification engines (Q2208307) (← links)
- Learning inductive invariants by sampling from frequency distributions (Q2225478) (← links)
- Unbounded procedure summaries from bounded environments (Q2234080) (← links)
- Loop summarization using state and transition invariants (Q2248058) (← links)
- Programming by predicates: a formal model for interactive synthesis (Q2303879) (← links)
- Automatic Inference of Access Permissions (Q2891412) (← links)
- ExplainHoudini: Making Houdini Inference Transparent (Q3075491) (← links)
- Predicate Abstraction for Program Verification (Q3176373) (← links)
- Inferring Loop Invariants Using Postconditions (Q3586008) (← links)
- Verifying Array Manipulating Programs with Full-Program Induction (Q5039501) (← links)
- Complexity and Algorithms for Monomial and Clausal Predicate Abstraction (Q5191104) (← links)
- SMT-based verification of program changes through summary repair (Q6056638) (← links)
- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes (Q6487320) (← links)
- Maximizing branch coverage with constrained Horn clauses (Q6535619) (← links)
- \textsc{Sorcar}: property-driven algorithms for learning conjunctive invariants (Q6536295) (← links)
- Global guidance for local generalization in model checking (Q6632197) (← links)
