Model Checking TLA+ Specifications

This publication has 10 references indexed in Scilit:

• Lazy caching in TLA
  Distributed Computing, 1999
• Using magnetic disk instead of main memory in the Mur ϕ verifier
  Published by Springer Nature ,1998
• The Mur ϕ verification system
  Published by Springer Nature ,1996
• The temporal logic of actions
  ACM Transactions on Programming Languages and Systems, 1994
• Symbolic Model Checking
  Published by Springer Nature ,1993
• Verification of a multiplier: 64 bits and beyond
  Published by Springer Nature ,1993
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
  IEEE Transactions on Computers, 1979
• Verifying properties of parallel programs
  Communications of the ACM, 1976
• Proving assertions about parallel programs
  Journal of Computer and System Sciences, 1975