Mechanical verification of concurrent systems with TLA

This publication has 3 references indexed in Scilit:

• An overview of LP, the Larch Prover
  Lecture Notes in Computer Science, 1989
• "Sometime" is sometimes "not never"
  Published by Association for Computing Machinery (ACM) ,1980
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977