Improving efficiency of symbolic model checking for state-based system requirements

This publication has 16 references indexed in Scilit:

• Disjunctive partitioning and partial iterative squaring
  Published by Association for Computing Machinery (ACM) ,1997
• Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints
  Published by Springer Nature ,1997
• The STATEMATE semantics of statecharts
  ACM Transactions on Software Engineering and Methodology, 1996
• Completeness and consistency in hierarchical state-based requirements
  IEEE Transactions on Software Engineering, 1996
• 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
• Characterizing finite Kripke structures in propositional temporal logic
  Theoretical Computer Science, 1988
• 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