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