A structural approach to prophecy variables

DOI10.1007/978-3-642-29952-0_12zbMATH Open1354.68181OpenAlexW52764018MaRDI QIDQ2898019FDOQ2898019

Authors: Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li 

Publication date: 16 July 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-29952-0_12

Recommendations

• The role of auxiliary variables in the formal development of concurrent programs
• Specification of concurrent objects using auxiliary variables
• Specifying concurrent objects as communicating processes
• Modular verification for shared-variable concurrent programs
• A Complete Guide to the Future

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• Synthesizing history and prophecy variables for symbolic model checking
• The spirit of ghost code

This page was built for publication: A structural approach to prophecy variables

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