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

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