ExplainHoudini: Making Houdini Inference Transparent

DOI10.1007/978-3-642-18275-4_22zbMath1317.68119OpenAlexW3136652852MaRDI QIDQ3075491

Julien Vanegue, Shuvendu K. Lahiri

Publication date: 15 February 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-18275-4_22

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• PVS
• Spec#
• z3
• ESC/Java
• VCC
• Boogie
• Houdini
• ExplainHoudini

Cites Work

• Generating error traces from verification-condition counterexamples
• Abstractions from proofs
• Complexity and Algorithms for Monomial and Clausal Predicate Abstraction
• Unifying type checking and property checking for low-level code
• Computer Aided Verification
• Unnamed Item

This page was built for publication: ExplainHoudini: Making Houdini Inference Transparent