Experiments in theorem proving and model checking for protocol verification

This publication has 11 references indexed in Scilit:

• An integration of model checking with automated proof checking
  Published by Springer Nature ,1995
• Property preserving abstractions for the verification of concurrent systems
  Formal Methods in System Design, 1995
• Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
  IEEE Transactions on Software Engineering, 1995
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Proof-checking a data link protocol
  Published by Springer Nature ,1994
• Symbolic Model Checking
  Published by Springer Nature ,1993
• Parallel Program Design
  Published by Springer Nature ,1989
• HOL: A Proof Generating System for Higher-Order Logic
  Published by Springer Nature ,1988
• Protocol Verification via Projections
  IEEE Transactions on Software Engineering, 1984
• A note on reliable full-duplex transmission over half-duplex links
  Communications of the ACM, 1969