Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Counterexample driven Refinement for Abstract Interpretation

Bhargav S. Gulavani and Sriram K. Rajamani

Details

Publication typeInproceedings
Published inProceedings of 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
> Publications > Counterexample driven Refinement for Abstract Interpretation