Symbolic Implementation of the Best Transformer

This publication has 8 references indexed in Scilit:

• SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques
  Published by Springer Nature ,2002
• The SLAM Toolkit
  Published by Springer Nature ,2001
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• Principles of Program Analysis
  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
• System description generating models by SEM
  Lecture Notes in Computer Science, 1996
• 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