Constraint logic programming for local and symbolic model-checking

DOI10.1007/3-540-44957-4_26MaRDI QIDQ2767073zbMATH OpenFDO

Authors Ulf Nilsson, Johan Lübcke

Publication date 28 April 2002

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

Full work available at URL https://doi.org/10.1007/3-540-44957-4_26

Mathematics Subject Classification ID

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

Recommendations

• Constraint logic programming applied to model checking
• scientific article; zbMATH DE number 1975609
• scientific article; zbMATH DE number 2102716
• scientific article; zbMATH DE number 2085276
• Constraint-based deductive model checking
• Model checking LTL using constraint programming
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• Automatic software model checking via constraint logic
• Symbolic bounded conformance checking of model programs
• scientific article; zbMATH DE number 1926617

Cited in

(13)

• Model checking as constraint solving
• Constraint logic programming applied to model checking
• Program specialization for verifying infinite state systems: an experimental evaluation
• Extending co-logic programs for branching-time model checking
• Model-Checking First-Order Logic: Automata and Locality
• Analysis of Linear Hybrid Systems in CLP
• scientific article; zbMATH DE number 1140688 (Why is no real title available?)
• scientific article; zbMATH DE number 1956554 (Why is no real title available?)
• scientific article; zbMATH DE number 2080049 (Why is no real title available?)
• Reformulation and approximation in model checking
• scientific article; zbMATH DE number 2085276 (Why is no real title available?)
• scientific article; zbMATH DE number 2090523 (Why is no real title available?)
• Constraint-based deductive model checking

This page was built for publication: Constraint logic programming for local and symbolic model-checking

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