A Framework for Cooperating Decision Procedures

This publication has 12 references indexed in Scilit:

• Abstract and Model Check while You Prove
  Published by Springer Nature ,1999
• Experience with Predicate Abstraction
  Published by Springer Nature ,1999
• Checking properties of safety critical specifications using efficient decision procedures
  Published by Association for Computing Machinery (ACM) ,1998
• Generating finite-state abstractions of reactive systems using decision procedures
  Published by Springer Nature ,1998
• A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method
  Published by Springer Nature ,1997
• On Shostak's decision procedure for combinations of theories
  Published by Springer Nature ,1996
• Validity checking for combinations of theories with equality
  Published by Springer Nature ,1996
• A practical algorithm for exact array dependence analysis
  Communications of the ACM, 1992
• PVS: A prototype verification system
  Lecture Notes in Computer Science, 1992
• Simplification by Cooperating Decision Procedures
  ACM Transactions on Programming Languages and Systems, 1979