Model checking as constraint solving

DOI10.1007/978-3-540-45099-3_2MaRDI QIDQ2722046zbMATH OpenFDO

Authors Andreas Podelski

Publication date 11 July 2001

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

Full work available at URL https://doi.org/10.1007/978-3-540-45099-3_2

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Symbolic computation and algebraic computation (68W30)

Recommendations

• Constraint-based deductive model checking
• scientific article; zbMATH DE number 2090523
• Reformulation and approximation in model checking
• Constraint logic programming for local and symbolic model-checking
• Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems

Cited in

(16)

• A global constraint for over-approximation of real-time streams
• Finding models through graph saturation
• Automatic software model checking via constraint logic
• Generalized rewrite theories, coherence completion, and symbolic methods
• Constraint logic programming applied to model checking
• Model checking procedural programs
• Query-Based Model Checking of Ad Hoc Network Protocols
• Rewriting modulo SMT and open system analysis
• Analysis of Linear Hybrid Systems in CLP
• Reformulation and approximation in model checking
• scientific article; zbMATH DE number 2090523 (Why is no real title available?)
• Model Checking for String Problems
• Computer Aided Verification
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Recent Advances in Constraints
• Constraint-based deductive model checking

Describes a project that uses

Uses Software

• HyTech

This page was built for publication: Model checking as constraint solving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2722046)