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

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540412199, 9783540409229
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Checking Synchronous Timing Diagrams

2002 ◽  
pp. 320-335 ◽  
Author(s):  
Nina Amla ◽  
E. Allen Emerson ◽  
Robert P. Kurshan ◽  
Kedar S. Namjoshi
Keyword(s):  
Model Checking ◽  
Timing Diagrams

scholarly journals A Theory of Consistency for Modular Synchronous Systems

2002 ◽  
pp. 523-541 ◽  
Author(s):  
Randal E. Bryant ◽  
Pankaj Chauhan ◽  
Edmund M. Clarke ◽  
Amit Goel
Keyword(s):  
Synchronous Systems

B2M: A Semantic Based Tool for BLIF Hardware Descriptions

2002 ◽  
pp. 110-126
Author(s):  
David Basin ◽  
Stefan Friedrich ◽  
Sebastian Mödersheim

scholarly journals Symbolic Simulation with Approximate Values

2002 ◽  
pp. 507-522 ◽  
Author(s):  
Chris Wilson ◽  
David L. Dill ◽  
Randal E. Bryant
Keyword(s):  
Symbolic Simulation

scholarly journals SAT-Based Image Computation with Application in Reachability Analysis

2000 ◽  
pp. 391-408 ◽  
Author(s):  
Aarti Gupta ◽  
Zijiang Yang ◽  
Pranav Ashar ◽  
Anubhav Gupta
Keyword(s):  
Reachability Analysis ◽  
Image Computation

Executable Protocol Specification in ESL

2000 ◽  
pp. 217-236 ◽  
Author(s):  
E. Clarke ◽  
S. German ◽  
Y. Lu ◽  
H. Veith ◽  
D. Wang
Keyword(s):  
Protocol Specification

Do You Trust Your Model Checker?

2000 ◽  
pp. 199-216 ◽  
Author(s):  
Wolfgang Reif ◽  
Jürgen Ruf ◽  
Gerhard Schellhorn ◽  
Tobias Vollmer
Keyword(s):  
Model Checker
Load More ...
Sign in / Sign up

Export Citation Format

Share Document