Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

51
(FIVE YEARS 0)

H-INDEX

26
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540439974, 9783540456575
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Deciding Separation Formulas with SAT

2002 ◽  
pp. 209-222 ◽  
Author(s):  
Ofer Strichman ◽  
Sanjit A. Seshia ◽  
Randal E. Bryant

scholarly journals Compressing Transitions for Model Checking

2002 ◽  
pp. 569-582 ◽  
Author(s):  
Robrt Kurshan ◽  
Vladimir Levin ◽  
Hüsnü Yenigün
Keyword(s):  
Model Checking

scholarly journals Abstracting C with abC

2002 ◽  
pp. 515-520 ◽  
Author(s):  
Dennis Dams ◽  
William Hesse ◽  
Gerard Holzmann

scholarly journals Canonical Prefixes of Petri Net Unfoldings

2002 ◽  
pp. 582-595 ◽  
Author(s):  
Victor Khomenko ◽  
Maciej Koutny ◽  
Walter Vogler
Keyword(s):  
Petri Net

scholarly journals ΧChek: A Multi-valued Model-Checker

2002 ◽  
pp. 505-509 ◽  
Author(s):  
Marsha Chechik ◽  
Arie Gurfinkel ◽  
Benet Devereux
Keyword(s):  
Model Checker
Load More ...
Sign in / Sign up

Export Citation Format

Share Document