Liveness by Invisible Invariants

DOI10.1007/11888116_26zbMath1225.68114OpenAlexW1561492939MaRDI QIDQ3613081

K. L. McMillan, Amir Pnueli, Yi Fang, Lenore D. Zuck

Publication date: 11 March 2009

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Temporal prophecy for proving temporal properties of infinite-state systems

Uses Software

• STeP

Cites Work

• Symmetric and economical solutions to the mutual exclusion problem in a distributed system
• Model checking and abstraction to the aid of parameterized systems (a survey)
• Temporal Verification of Reactive Systems: Response
• Tools and Algorithms for the Construction and Analysis of Systems
• On Reasoning About Rings
• Computer Aided Verification
• Verification, Model Checking, and Abstract Interpretation
• Automatic verification of parameterized networks of processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Liveness by Invisible Invariants