Mechanical Verification of Concurrent Systems with TLA

The temporal logic of actions

ACM Transactions on Programming Languages and Systems (TOPLAS)

Automated logical verification based on trace abstractions

PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing

Formal verification in hardware design: a survey

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Specification and verification of fault-tolerance, timing, and scheduling

ACM Transactions on Programming Languages and Systems (TOPLAS)

Should your specification language be typed

ACM Transactions on Programming Languages and Systems (TOPLAS)

Using Transition Systems to Unify UML Models

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering

Lazy caching in TLA

Distributed Computing - Special issue: Verification of lazy caching

On The Satisfiability Problem For Lamport'S Propositional Temporal Logic Of Actions And Some Of Its Extensions

Fundamenta Informaticae