Making abstract model checking strongly preserving

DOI10.1007/3-540-45789-5_29MaRDI QIDQ4411975zbMATH OpenFDO

Authors Francesco Tapparo, Francesco Ranzato

Publication date 13 July 2003

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/2477/24770411.htm

Mathematics Subject Classification ID

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

Recommendations

• Generalized Strong Preservation by Abstract Interpretation
• Programming Languages and Systems
• Verification, Model Checking, and Abstract Interpretation
• scientific article; zbMATH DE number 2110619
• Abstraction and abstraction refinement

Cited in

(13)

• On the completeness of model checking
• Abstraction and abstraction refinement
• Generalized Strong Preservation by Abstract Interpretation
• States vs. traces in model checking by abstract interpretation
• scientific article; zbMATH DE number 2110619 (Why is no real title available?)
• scientific article; zbMATH DE number 898449 (Why is no real title available?)
• Expressiveness and completeness in abstraction
• Abstract program slicing: an abstract interpretation-based approach to program slicing
• More Precise Partition Abstractions
• Model Checking for Action Abstraction
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation
• Model checking as program verification by abstract interpretation

This page was built for publication: Making abstract model checking strongly preserving

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