Counterexample driven Refinement for Abstract Interpretation
Bhargav S. Gulavani and Sriram K. Rajamani
March 2006
 PDF file |
In: Proceedings of 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Details
| Type: | Inproceedings |
©2009 Microsoft Corporation. All rights reserved.