A semantics driven temporal verification system

This publication has 9 references indexed in Scilit:

• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• A really abstract concurrent model and its temporal logic
  Published by Association for Computing Machinery (ACM) ,1986
• Reasoning about networks with many identical finite-state processes
  Published by Association for Computing Machinery (ACM) ,1986
• Now you may compose temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1984
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982
• Specification and verification of concurrent systems in CESAR
  Published by Springer Nature ,1982
• Myths about the mutual exclusion problem
  Information Processing Letters, 1981
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977