On the completeness of model checking

DOI10.1007/3-540-45309-1_10MaRDI QIDQ2763671zbMATH OpenFDO

Authors Francesco Ranzato

Publication date 21 January 2002

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/2028/20280137

Mathematics Subject Classification ID

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

Recommendations

• Incompleteness of states w.r.t. traces in model checking
• scientific article; zbMATH DE number 1948413
• Temporal abstract interpretation
• scientific article; zbMATH DE number 1948410
• On model checking for the -calculus and its fragments

Cited in

(7)

• Incompleteness of states w.r.t. traces in model checking
• Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection
• scientific article; zbMATH DE number 1948413 (Why is no real title available?)
• A model-based completeness proof of extended narrowing and resolution
• Temporal abstract interpretation
• Competent predicate abstraction in model checking
• Model checking as program verification by abstract interpretation

This page was built for publication: On the completeness of model checking

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