Model checking in practice: An analysis of the ACCESS.bus™ protocol using SPIN

This publication has 10 references indexed in Scilit:

• Memory efficient algorithms for the verification of temporal properties
  Published by Springer Nature ,2005
• Verifying part of the ACCESS.bus protocol using PVS
  Published by Springer Nature ,1995
• PVS: A prototype verification system
  Lecture Notes in Computer Science, 1992
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• Software for Analytical Development of Communications Protocols
  AT&T Technical Journal, 1990
• Protocol Engineering
  Published by Elsevier ,1989
• 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
• Specification and verification of concurrent systems in CESAR
  Published by Springer Nature ,1982