Combining Theorem Proving and Model Checking through Symbolic Analysis

This publication has 31 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Experience with Predicate Abstraction
  Published by Springer Nature ,1999
• Automatic Generation of Invariants
  Formal Methods in System Design, 1999
• Computing abstractions of infinite state systems compositionally and automatically
  Published by Springer Nature ,1998
• Generating finite-state abstractions of reactive systems using decision procedures
  Published by Springer Nature ,1998
• Automatic generation of invariants and intermediate assertions
  Theoretical Computer Science, 1997
• Powerful techniques for the automatic generation of invariants
  Published by Springer Nature ,1996
• Validity checking for combinations of theories with equality
  Published by Springer Nature ,1996
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978