Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints

This publication has 16 references indexed in Scilit:

• Symbolic model checking: 10/sup 20/ states and beyond
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Model checking large software specifications
  Published by Association for Computing Machinery (ACM) ,1996
• Hybrid Decision Diagrams. Overcoming the Limitations of MTBDDs and BMDs,
  Published by Defense Technical Information Center (DTIC) ,1995
• Algorithmic analysis of nonlinear hybrid systems
  Published by Springer Nature ,1995
• Verification of arithmetic circuits with binary moment diagrams
  Published by Association for Computing Machinery (ACM) ,1995
• State-based model checking of event-driven system requirements
  IEEE Transactions on Software Engineering, 1993
• Characterizing finite Kripke structures in propositional temporal logic
  Theoretical Computer Science, 1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• “Sometimes” and “not never” revisited
  Journal of the ACM, 1986