Memory efficient algorithms for the verification of temporal properties

This publication has 14 references indexed in Scilit:

• Adding liveness properties to coupled finite-state machines
  ACM Transactions on Programming Languages and Systems, 1990
• On-line model-checking for finite linear temporal logic specifications
  Lecture Notes in Computer Science, 1990
• Unified verification theory
  Published by Springer Nature ,1989
• Protocol Engineering
  Published by Elsevier ,1989
• An improved protocol reachability analysis technique
  Software: Practice and Experience, 1988
• Network Protocols and Tools to Help Produce Them
  Annual Review of Computer Science, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Checking that finite state concurrent programs satisfy their linear specification
  Published by Association for Computing Machinery (ACM) ,1985
• Tools for Verifying Network Protocols
  Published by Springer Nature ,1985
• A Validation Technique for Tightly Coupled Protocols
  IEEE Transactions on Computers, 1982