Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

45
(FIVE YEARS 0)

H-INDEX

19
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540662020, 9783540486831
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

1999 ◽  
pp. 146-159 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Aurore Annichini ◽  
Saddek Bensalem ◽  
Ahmed Bouajjani ◽  
Peter Habermehl ◽  
...  
Keyword(s):  
Reachability Analysis ◽  
Infinite State Systems ◽  
Infinite State

scholarly journals Experience with Predicate Abstraction

1999 ◽  
pp. 160-171 ◽  
Author(s):  
Satyaki Das ◽  
David L. Dill ◽  
Seungjoon Park
Keyword(s):  
Predicate Abstraction

scholarly journals Efficient Timed Reachability Analysis Using Clock Difference Diagrams

1999 ◽  
pp. 341-353 ◽  
Author(s):  
G. Behrmann ◽  
K. G. Larsen ◽  
J. Pearson ◽  
C. Weise ◽  
W. Yi
Keyword(s):  
Reachability Analysis

Deciding Equality Formulas by Small Domains Instantiations

1999 ◽  
pp. 455-469 ◽  
Author(s):  
Amir Pnueli ◽  
Yoav Rodeh ◽  
Ofer Shtrichman ◽  
Michael Siegel
Load More ...
Sign in / Sign up

Export Citation Format

Share Document