Login / Signup
Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis.
Parosh Aziz Abdulla
Aurore Annichini
Saddek Bensalem
Ahmed Bouajjani
Peter Habermehl
Yassine Lakhnech
Published in:
CAV (1999)
Keyphrases
</>
reachability analysis
model checking
automated verification
high level
complex systems
retrieval systems
markov decision processes
hardware designs
expert systems
intelligent systems
computer systems
formal methods
asynchronous circuits