Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

54
(FIVE YEARS 0)

H-INDEX

19
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540646082, 9783540693390
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A general approach to partial order reductions in symbolic verification

1998 ◽  
pp. 379-390 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Bengt Jonsson ◽  
Mats Kindahl ◽  
Doron Peled
Keyword(s):  
Partial Order ◽  
Symbolic Verification

Decomposing the proof of correctness of pipelined microprocessors

1998 ◽  
pp. 122-134 ◽  
Author(s):  
Ravi Hosabettu ◽  
Mandayam Srivas ◽  
Ganesh Gopalakrishnan
Keyword(s):  
Proof Of Correctness ◽  
Pipelined Microprocessors

scholarly journals Formal verification of out-of-order execution using incremental flushing

1998 ◽  
pp. 98-109 ◽  
Author(s):  
Jens U. Skakkebæk ◽  
Robert B. Jones ◽  
David L. Dill
Keyword(s):  
Formal Verification ◽  
Order Execution
Load More ...
Sign in / Sign up

Export Citation Format

Share Document