Constraint logic programming applied to model checking

DOI10.1007/10720327_3MaRDI QIDQ2723913zbMATH OpenFDO

Authors Laurent Fribourg

Publication date 8 July 2001

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

Full work available at URL https://doi.org/10.1007/10720327_3

Mathematics Subject Classification ID

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

Recommendations

• Constraint logic programming for local and symbolic model-checking
• Constraint-based deductive model checking
• Model checking as constraint solving
• Model checking LTL using constraint programming
• Automatic software model checking via constraint logic
• scientific article; zbMATH DE number 1926617
• Constraint logic programming
• scientific article; zbMATH DE number 1975609
• scientific article; zbMATH DE number 2111990
• Constraint programming for modelling and solving modal satisfiability

Cited in

(9)

• Automatic software model checking via constraint logic
• Superposition as a decision procedure for timed automata
• Reachability relations of timed pushdown automata
• Constraint logic programming for local and symbolic model-checking
• A modeling layer for constraint-programming libraries
• scientific article; zbMATH DE number 5850099 (Why is no real title available?)
• Query-Based Model Checking of Ad Hoc Network Protocols
• Mechanising shared configuration and diagnosis theories through constraint logic programming
• An assertional language for the verification of systems parametric in several dimensions (preliminary results)

This page was built for publication: Constraint logic programming applied to model checking

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