Feasibility of model checking software requirements: a case study

This publication has 18 references indexed in Scilit:

• Symbolic model checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Protocol verification as a hardware design aid
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Consistency checking of SCR-style requirements specifications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Model checking software systems
  Published by Association for Computing Machinery (ACM) ,1995
• Verifying the summit bus converter protocols with symbolic model checking
  Formal Methods in System Design, 1994
• Automated analysis of mutual exclusion algorithms using CCS
  Formal Aspects of Computing, 1989
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Automatic verification of asynchronous circuits using temporal logic
  IEE Proceedings E Computers and Digital Techniques, 1986
• Specifying Software Requirements for Complex Systems: New Techniques and Their Application
  IEEE Transactions on Software Engineering, 1980