Houdini
From MaRDI portal
Cited in
(51)- CLN2INV
- SPARK
- Daikon
- Automated verification of functional correctness of race-free GPU programs
- Class invariants as abstract interpretation of trace semantics
- ACL2s
- SPEED
- UFO
- eVolCheck
- InvGen
- TVLA
- libalf
- A learning-based approach to synthesizing invariants for incomplete verification engines
- Learning inductive invariants by sampling from frequency distributions
- Loop summarization using state and transition invariants
- Programming by predicates: a formal model for interactive synthesis
- Traffic 4
- SymDiff
- Mercator
- CSSV
- Specification and verification challenges for sequential object-oriented programs
- Automatic inference of access permissions
- Guiding Craig interpolation with domain-specific abstractions
- ExplainHoudini: making Houdini inference transparent
- c2i
- ExplainHoudini
- VS3
- Predicate abstraction for program verification
- SyPet
- CodeHint
- FlexJava
- Chisel
- ACCEPT
- EnerJ
- FlashExtract
- Inferring Loop Invariants Using Postconditions
- BlinkFill
- Green
- Jass
- Verifying array manipulating programs with full-program induction
- From invariant checking to invariant inference using randomized search
- Complexity and Algorithms for Monomial and Clausal Predicate Abstraction
- ANNA
- Rely
- Code2Inv
- RHLE Benchmarks
- iDFlakies
- Modular inference of subprogram contracts for safety checking
- Verifying relative safety, accuracy, and termination for program approximations
- Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists
- An integrated approach to high integrity software verification
This page was built for software: Houdini
