Constraint-based deductive model checking
From MaRDI portal
Publication:5953447
DOI10.1007/s100090100049zbMath0991.68013OpenAlexW1813383841WikidataQ126579025 ScholiaQ126579025MaRDI QIDQ5953447
Andreas Podelski, Giorgio Delzanno
Publication date: 23 January 2002
Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s100090100049
Related Items
Unnamed Item, Rewriting modulo SMT and open system analysis, Analysis and Transformation of Constrained Horn Clauses for Program Verification, Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation, Horn clause verification with convex polyhedral abstraction and tree automata-based refinement, Generalized rewrite theories, coherence completion, and symbolic methods
Uses Software