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

Cached

Download Links

by Parosh Aziz Abdulla , Aurore Annichini , Saddek Bensalem , Ahmed Bouajjani , Peter Habermehl , Yassine Lakhnech
Citations:17 - 2 self