Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic.

Kazuhiro Ogata Thi Thanh Huyen Phan

Published in: ICFEM (2012)

Keyphrases

model checking
verification method
temporal logic
formal specification
linear temporal logic
dynamic programming
formal verification
np hard
logic programming
formal methods
asynchronous circuits
temporal properties
transition systems
symbolic model checking