Model checking large software specifications

This publication has 14 references indexed in Scilit:

• A logic-model semantics for SCR software requirements
  Published by Association for Computing Machinery (ACM) ,1996
• Evaluating deadlock detection methods for concurrent software
  IEEE Transactions on Software Engineering, 1996
• Model checking software systems
  Published by Association for Computing Machinery (ACM) ,1995
• A lower bound for integer multiplication with read-once branching programs
  Published by Association for Computing Machinery (ACM) ,1995
• Completeness and consistency analysis of state-based requirements
  Published by Association for Computing Machinery (ACM) ,1995
• Symbolic model checking for sequential circuit verification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
• Requirements specification for process-control systems
  IEEE Transactions on Software Engineering, 1994
• On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
  IEEE Transactions on Computers, 1991
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986