Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation.

Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi

Browse the full TACAS paper archive.