Counterexample driven Refinement for Abstract Interpretation

tacas2006.pdf
PDF file

In  Proceedings of 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

Details

TypeInproceedings
> Publications > Counterexample driven Refinement for Abstract Interpretation