Using abstraction and model checking to detect safety violations in requirements specifications

This publication has 39 references indexed in Scilit:

• Characterization of a sequentially consistent memory and verification of a cache memory by abstraction
  Distributed Computing, 1999
• Model checking large software specifications
  IEEE Transactions on Software Engineering, 1998
• Formal methods for verification and validation of partial specifications: A case study
  Journal of Systems and Software, 1998
• On the need for practical formal methods
  Published by Springer Nature ,1998
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• A visual toolset for the design of real-time discrete-event systems
  IEEE Transactions on Control Systems Technology, 1997
• Completeness and consistency in hierarchical state-based requirements
  IEEE Transactions on Software Engineering, 1996
• Functional documents for computer systems
  Science of Computer Programming, 1995
• Property preserving abstractions for the verification of concurrent systems
  Formal Methods in System Design, 1995
• State-based model checking of event-driven system requirements
  IEEE Transactions on Software Engineering, 1993