The following pages link to Houdini (Q31317):
Displaying 19 items.
- 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)
- Automated verification of functional correctness of race-free GPU programs (Q1703009) (← links)
- Class invariants as abstract interpretation of trace semantics (Q1749225) (← links)
- A learning-based approach to synthesizing invariants for incomplete verification engines (Q2208307) (← links)
- Learning inductive invariants by sampling from frequency distributions (Q2225478) (← links)
- Loop summarization using state and transition invariants (Q2248058) (← links)
- Programming by predicates: a formal model for interactive synthesis (Q2303879) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← 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)
