OPEN/CÆSAR: An open software architecture for verification, simulation, and testing

This publication has 16 references indexed in Scilit:

• Verification of the Link layer protocol of the IEEE-1394 serial bus (FireWire): an experiment with E-LOTOS
  International Journal on Software Tools for Technology Transfer, 1998
• An experiment in automatic generation of test suites for protocols with verification technology
  Science of Computer Programming, 1997
• Specification and verification of various distributed leader election algorithms for unidirectional ring networks
  Science of Computer Programming, 1997
• Compositional state space generation from Lotos programs
  Published by Springer Nature ,1997
• The FC2TOOLS set
  Lecture Notes in Computer Science, 1996
• A front-end generator for verification tools
  Published by Springer Nature ,1995
• Performance improvement of state space exploration by regular & differential hashing functions
  Published by Springer Nature ,1994
• VESAR: a pragmatic approach to formal specification and verification
  Computer Networks and ISDN Systems, 1993
• What are the limits of model checking methods for the verification of real life protocols?
  Published by Springer Nature ,1990
• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987