Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

53
(FIVE YEARS 0)

H-INDEX

20
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540631668, 9783540691952
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals RuleBase: Model checking at IBM

1997 ◽  
pp. 480-483 ◽  
Author(s):  
I. Beer ◽  
S. Ben-David ◽  
C. Eisner ◽  
D. Geist ◽  
L. Gluhovsky ◽  
...  
Keyword(s):  
Model Checking

scholarly journals Some progress in the symbolic verification of timed automata

1997 ◽  
pp. 179-190 ◽  
Author(s):  
Marius Bozga ◽  
Oded Maler ◽  
Amir Pnueli ◽  
Sergio Yovine
Keyword(s):  
Timed Automata ◽  
Symbolic Verification

scholarly journals Efficient detection of vacuity in ACTL formulas

1997 ◽  
pp. 279-290 ◽  
Author(s):  
Ilan Beer ◽  
Shoham Ben-David ◽  
Cindy Eisner ◽  
Yoav Rodeh
Keyword(s):  
Efficient Detection
Load More ...
Sign in / Sign up

Export Citation Format

Share Document