Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

52
(FIVE YEARS 0)

H-INDEX

20
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540614746, 9783540685999
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Automated deduction and formal methods

1996 ◽  
pp. 169-183 ◽  
Author(s):  
John Rushby
Keyword(s):  
Formal Methods ◽  
Automated Deduction

scholarly journals A platform for combining deductive with algorithmic verification

1996 ◽  
pp. 184-195 ◽  
Author(s):  
Amir Pnueli ◽  
Elad Shahar

scholarly journals Deductive model checking

1996 ◽  
pp. 208-219 ◽  
Author(s):  
Henny B. Sipma ◽  
Tomás E. Uribe ◽  
Zohar Manna
Keyword(s):  
Model Checking

scholarly journals CADP a protocol validation and verification toolbox

1996 ◽  
pp. 437-440 ◽  
Author(s):  
Jean -Claude Fernandez ◽  
Hubert Garavel ◽  
Alain Kerbrat ◽  
Laurent Mounier ◽  
Radu Mateescu ◽  
...  
Keyword(s):  
Validation And Verification ◽  
Protocol Validation

scholarly journals Saving space by fully exploiting invisible transitions

1996 ◽  
pp. 336-347 ◽  
Author(s):  
Hillel Miller ◽  
Shmuel Katz

scholarly journals Marrella: A tool for simulation and verification

1996 ◽  
pp. 458-461
Author(s):  
Dominique Ambroise ◽  
Brigitte Rozoy
Load More ...
Sign in / Sign up

Export Citation Format

Share Document