Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

48
(FIVE YEARS 0)

H-INDEX

22
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540677703, 9783540450474
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits

2000 ◽  
pp. 20-35 ◽  
Author(s):  
Tamir Heyman ◽  
Danny Geist ◽  
Orna Grumberg ◽  
Assaf Schuster
Keyword(s):  
Reachability Analysis

scholarly journals IF: A Validation Environment for Timed Asynchronous Systems

2000 ◽  
pp. 543-547 ◽  
Author(s):  
Marius Bozga ◽  
Jean-Claude Fernandez ◽  
Lucian Ghirvu ◽  
Susanne Graf ◽  
Jean-Pierre Krimm ◽  
...  
Keyword(s):  
Asynchronous Systems

An Abstraction Algorithm for the Verification of Generalized C-Slow Designs

2000 ◽  
pp. 5-19 ◽  
Author(s):  
Jason Baumgartner ◽  
Anson Tripp ◽  
Adnan Aziz ◽  
Vigyan Singhal ◽  
Flemming Andersen
Load More ...
Sign in / Sign up

Export Citation Format

Share Document