Mechanical Verification of Concurrent Systems with TLA.

Urban Engberg Peter Grønning Leslie Lamport

Published in: CAV (1992)

Keyphrases

concurrent systems
temporal logic
model checking
process algebra
transition systems
verification method
distributed systems
petri net
formal verification
model checker
belief revision
formal specification
real time
quality of service
software development
reactive systems
genetic algorithm
neural network