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 Exploiting Behavioral Hierarchy for Efficient Model Checking

2002 ◽  
pp. 338-342 ◽  
Author(s):  
Rajeev Alur ◽  
Michael McDougall ◽  
Zijiang Yang
Keyword(s):  
Model Checking ◽  
Behavioral Hierarchy
Load More ...
Sign in / Sign up

Export Citation Format

Share Document