Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi. Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. In Hubert Garavel, John Hatcliff, editors, Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Volume 2619 of Lecture Notes in Computer Science, pages 176-191, Springer, 2003. [doi]

This author has not been identified. Look up 'Marcelo Glusman' in GoogleThis author has not been identified. Look up 'Gila Kamhi' in GoogleThis author has not been identified. Look up 'Sela Mador-Haim' in GoogleThis author has not been identified. Look up 'Ranan Fraer' in GoogleThis author has not been identified. Look up 'Moshe Y. Vardi' in Google

runs on WebDSL