Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis.

Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech

Browse the full CAV paper archive.