A Structural Approach to Prophecy Variables

DOI10.1007/978-3-642-29952-0_12zbMath1354.68181OpenAlexW52764018MaRDI QIDQ2898019

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

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) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

The spirit of ghost code

This page was built for publication: A Structural Approach to Prophecy Variables