Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods
Latest Publications

TOTAL DOCUMENTS

42
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540291053, 9783540320302
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Regular Vacuity

2005 ◽  
pp. 191-206 ◽  
Author(s):  
Doron Bustan ◽  
Alon Flaisher ◽  
Orna Grumberg ◽  
Orna Kupferman ◽  
Moshe Y. Vardi

scholarly journals Predictive Reachability Using a Sample-Based Approach

2005 ◽  
pp. 388-392 ◽  
Author(s):  
Debashis Sahoo ◽  
Jawahar Jain ◽  
Subramanian K. Iyer ◽  
David Dill ◽  
E. Allen Emerson

scholarly journals Verifying Quantitative Properties Using Bound Functions

2005 ◽  
pp. 50-64 ◽  
Author(s):  
Arindam Chakrabarti ◽  
Krishnendu Chatterjee ◽  
Thomas A. Henzinger ◽  
Orna Kupferman ◽  
Rupak Majumdar
Keyword(s):  
Quantitative Properties
Load More ...
Sign in / Sign up

Export Citation Format

Share Document