Houdini
From MaRDI portal
Software:31317
swMATH19490MaRDI QIDQ31317FDOQ31317
Author name not available (Why is that?)
Cited In (19)
- Loop summarization using state and transition invariants
- A learning-based approach to synthesizing invariants for incomplete verification engines
- Class invariants as abstract interpretation of trace semantics
- Inferring Loop Invariants Using Postconditions
- Verifying relative safety, accuracy, and termination for program approximations
- Automatic Inference of Access Permissions
- ExplainHoudini: Making Houdini Inference Transparent
- Automated verification of functional correctness of race-free GPU programs
- From invariant checking to invariant inference using randomized search
- An integrated approach to high integrity software verification
- Guiding Craig interpolation with domain-specific abstractions
- Modular inference of subprogram contracts for safety checking
- Complexity and Algorithms for Monomial and Clausal Predicate Abstraction
- Predicate Abstraction for Program Verification
- Verifying Array Manipulating Programs with Full-Program Induction
- Learning inductive invariants by sampling from frequency distributions
- Specification and verification challenges for sequential object-oriented programs
- Programming by predicates: a formal model for interactive synthesis
- Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists
This page was built for software: Houdini
