Model checking using adaptive state and data abstraction

This publication has 10 references indexed in Scilit:

• A partial approach to model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• VHDL/S — integrating statecharts, timing diagrams, and VHDL
  Microprocessing and Microprogramming, 1993
• Generation of reduced models for checking fragments of CTL
  Published by Springer Nature ,1993
• All from one, one for all: on model checking using representatives
  Published by Springer Nature ,1993
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Minimal state graph generation
  Science of Computer Programming, 1992
• A stubborn attack on state explosion
  Published by American Mathematical Society (AMS) ,1991
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977