Constraint-based infinite model checking and tabulation for stratified CLP

DOI10.1007/3-540-45619-8_9MaRDI QIDQ4809160zbMATH OpenFDO

Authors Witold Charatonik, Andreas Podelski, Supratik Mukhopadhyay

Publication date 12 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2401/24010115.htm

Mathematics Subject Classification ID

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

Recommendations

• Constraint-based deductive model checking
• Model checking as constraint solving
• scientific article; zbMATH DE number 1406234
• Infinite state model checking by abstract interpretation and program specialisation
• Constraint logic programming for local and symbolic model-checking

Cited in

(3)

• Model checking as constraint solving
• Description, implementation, and evaluation of a generic design for tabled CLP
• Constraint-based deductive model checking

This page was built for publication: Constraint-based infinite model checking and tabulation for stratified CLP

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