A structural approach to prophecy variables

DOI10.1007/978-3-642-29952-0_12MaRDI QIDQ2898019zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) 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

• 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

Cited in

(2)

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

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)