Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540001164, 9783540361268
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Simplifying Circuits for Formal Verification Using Parametric Representation

2002 ◽  
pp. 52-69 ◽  
Author(s):  
In-Ho Moon ◽  
Hee Hwan Kwak ◽  
James Kukula ◽  
Thomas Shiple ◽  
Carl Pixley
Keyword(s):  
Formal Verification ◽  
Parametric Representation

Smart Play-out of Behavioral Requirements

2002 ◽  
pp. 378-398 ◽  
Author(s):  
David Harel ◽  
Hillel Kugler ◽  
Rami Marelly ◽  
Amir Pnueli
Keyword(s):  
Behavioral Requirements

scholarly journals Exploiting Transition Locality in the Disk Based Murϕ Verifier

2002 ◽  
pp. 202-219 ◽  
Author(s):  
Giuseppe Della Penna ◽  
Benedetto Intrigila ◽  
Enrico Tronci ◽  
Marisa Venturini Zilli

Modeling and Verification of Out-of-Order Microprocessors in UCLID

2002 ◽  
pp. 142-159 ◽  
Author(s):  
Shuvendu K. Lahiri ◽  
Sanjit A. Seshia ◽  
Randal E. Bryant
Load More ...
Sign in / Sign up

Export Citation Format

Share Document