Verifying part of the ACCESS.bus protocol using PVS

This publication has 11 references indexed in Scilit:

• Formal specification and compositional verification of an atomic broadcast protocol
  Real-Time Systems, 1995
• Extending hoare logic to real-time
  Formal Aspects of Computing, 1994
• Compositional verification of a distributed real-time arbitration protocol
  Real-Time Systems, 1994
• Experience with formal methods in critical systems
  IEEE Software, 1994
• The formal verification of an algorithm for interactive consistency under a hybrid fault model
  Published by Springer Nature ,1993
• Formal verification of algorithms for critical systems
  IEEE Transactions on Software Engineering, 1993
• PVS: A prototype verification system
  Lecture Notes in Computer Science, 1992
• P — A logic — a compositional proof system for distributed programs
  Distributed Computing, 1991
• Specification and Compositional Verification of Real-Time Systems
  Published by Springer Nature ,1991
• An axiomatic basis for computer programming
  Communications of the ACM, 1969