Liveness by Invisible Invariants

DOI10.1007/11888116_26MaRDI QIDQ3613081zbMATH OpenOpenAlexFDO

Authors Yi Fang, K. L. McMillan, Amir Pnueli, 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)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification
• scientific article; zbMATH DE number 1701752
• On the refinement of liveness properties of distributed systems

Cites work

• scientific article; zbMATH DE number 1614699 (Why is no real title available?)
• scientific article; zbMATH DE number 1701752 (Why is no real title available?)
• scientific article; zbMATH DE number 1956507 (Why is no real title available?)
• scientific article; zbMATH DE number 1487866 (Why is no real title available?)
• scientific article; zbMATH DE number 1538041 (Why is no real title available?)
• scientific article; zbMATH DE number 1796136 (Why is no real title available?)
• scientific article; zbMATH DE number 1903348 (Why is no real title available?)
• scientific article; zbMATH DE number 1903370 (Why is no real title available?)
• Automatic verification of parameterized networks of processes
• Computer Aided Verification
• Liveness checking as safety checking for infinite state spaces
• Model checking and abstraction to the aid of parameterized systems (a survey)
• On Reasoning About Rings
• Symmetric and economical solutions to the mutual exclusion problem in a distributed system
• Temporal verification of reactive systems: response
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation

Cited in

(7)

• Verification, Model Checking, and Abstract Interpretation
• Liveness Reasoning with Isabelle/HOL
• scientific article; zbMATH DE number 1903348 (Why is no real title available?)
• Invisible Safety of Distributed Protocols
• Tools and Algorithms for the Construction and Analysis of Systems
• Temporal prophecy for proving temporal properties of infinite-state systems
• Validating for liveness in hidden adversary systems

Describes a project that uses

Uses Software

• STeP

This page was built for publication: Liveness by Invisible Invariants

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