Formal Techniques for Networked and Distributed Systems - FORTE 2005

DOI10.1007/11562436MaRDI QIDQ5479145zbMATH OpenOpenAlexFDO

Authors Ittai Balaban, Amir Pnueli, Lenore D. Zuck

Publication date 7 July 2006

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

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• MODULAR RANKING ABSTRACTION
• Automated Technology for Verification and Analysis
• Verification, Model Checking, and Abstract Interpretation
• Verification, Model Checking, and Abstract Interpretation
• Verification, Model Checking, and Abstract Interpretation

Cited in

(7)

• MODULAR RANKING ABSTRACTION
• Transition predicate abstraction and fair termination
• Ranking Abstractions
• Automated Technology for Verification and Analysis
• Verification, Model Checking, and Abstract Interpretation
• Verification, Model Checking, and Abstract Interpretation
• Computing and proving well-founded orderings through finite abstractions

This page was built for publication: Formal Techniques for Networked and Distributed Systems - FORTE 2005

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