Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis (1999)

by P Abdulla, A Annichini, S Bensalem, A Bouajjani, P Habermehl, Y Lakhnech
Venue:In Proceedings of the 11th International Conference on Computer Aided Verification, N. Halbwachs and D. Peled, Eds. Lecture Notes in Computer Science