Verification of reactive systems using DisCo and PVS

This publication has 16 references indexed in Scilit:

• Experiments in theorem proving and model checking for protocol verification
  Published by Springer Nature ,1996
• A modular coding of UNITY in COQ
  Published by Springer Nature ,1996
• Translating specifications in VDM-SL to PVS
  Published by Springer Nature ,1996
• A formulation of TLA in Isabelle
  Published by Springer Nature ,1995
• The temporal logic of actions
  ACM Transactions on Programming Languages and Systems, 1994
• A calculus of durations
  Information Processing Letters, 1991
• Decentralization of process nets with centralized control
  Distributed Computing, 1989
• Distributed cooperation with action systems
  ACM Transactions on Programming Languages and Systems, 1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• A note on reliable full-duplex transmission over half-duplex links
  Communications of the ACM, 1969