Mechanical Verification of Concurrent Systems with TLA.

Urban Engberg Peter Grønning Leslie Lamport

Published in: Larch (1992)

Keyphrases

concurrent systems
temporal logic
model checking
process algebra
transition systems
verification method
distributed systems
formal specification
model checker
petri net
belief revision
real time
finite state