Validating requirements for fault tolerant systems using model checking

This publication has 10 references indexed in Scilit:

• Formal methods for V&V of partial specifications: an experience report
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Elements of style: analyzing a software design feature with a counterexample detector
  IEEE Transactions on Software Engineering, 1996
• An approach to verification and validation of a reliable multicasting protocol
  Published by Association for Computing Machinery (ACM) ,1996
• Requirements specification for process-control systems
  IEEE Transactions on Software Engineering, 1994
• Symbolic model checking for sequential circuit verification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
• Use of common time base for checkpointing and rollback recovery in a distributed system
  IEEE Transactions on Software Engineering, 1993
• Tools and Rules for the Practicing Verifier
  Published by Defense Technical Information Center (DTIC) ,1990
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Specifying Software Requirements for Complex Systems: New Techniques and Their Application
  IEEE Transactions on Software Engineering, 1980