Predicate Abstraction with Minimum Predicates

This publication has 10 references indexed in Scilit:

• Making Predicate Abstraction Efficient:
  Published by Springer Nature ,2003
• Modular verification of software components in C
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Shape Analysis through Predicate Abstraction and Model Checking
  Published by Springer Nature ,2002
• SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques
  Published by Springer Nature ,2002
• Lazy abstraction
  Published by Association for Computing Machinery (ACM) ,2002
• Automatically validating temporal safety properties of interfaces
  Published by Springer Nature ,2001
• On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction
  Published by Springer Nature ,1999
• Experience with Predicate Abstraction
  Published by Springer Nature ,1999
• Construction of abstract state graphs with PVS
  Published by Springer Nature ,1997
• Computer-Aided Verification of Coordinating Processes
  Published by Walter de Gruyter GmbH ,1995