Constraint-based deductive model checking

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

zbMATH Keywords

concurrent systemsconstraint logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

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

• HyTech
• Uppaal