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 Integrating WS1S with PVS

2000 ◽  
pp. 548-551 ◽  
Author(s):  
Sam Owre ◽  
Harald Rueß

scholarly journals Distributing Timed Model Checking — How the Search Order Matters

2000 ◽  
pp. 216-231 ◽  
Author(s):  
Gerd Behrmann ◽  
Thomas Hune ◽  
Frits Vaandrager
Keyword(s):  
Model Checking ◽  
Search Order ◽  
Timed Model Checking

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

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 Regular Model Checking

2000 ◽  
pp. 403-418 ◽  
Author(s):  
Ahmed Bouajjani ◽  
Bengt Jonsson ◽  
Marcus Nilsson ◽  
Tayssir Touili
Keyword(s):  
Model Checking ◽  
Regular Model ◽  
Regular Model Checking

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