Formal Hardware Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540634751, 9783540695776

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Symbolic trajectory evaluation

Formal Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-63475-4_1 ◽

1997 ◽

pp. 3-78 ◽

Cited By ~ 26

Author(s):

Scott Hazelhurst ◽

Carl-Johan H. Seger

Keyword(s):

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text

Appendix: The common book examples

Formal Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-63475-4_7 ◽

1997 ◽

pp. 330-348

Author(s):

Thomas Kropf

Keyword(s):

The Common

Download Full-text

The C@S system: Combining proof strategies for system verification

Formal Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-63475-4_6 ◽

1997 ◽

pp. 248-329 ◽

Cited By ~ 2

Author(s):

Klaus Schneider ◽

Thomas Kropf

Keyword(s):

System Verification

Download Full-text

Verifying VHDL designs with COSPAN

Formal Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-63475-4_5 ◽

1997 ◽

pp. 206-247 ◽

Cited By ~ 3

Author(s):

Kathi Fisler ◽

Robert P. Kurshan

Download Full-text

Design verification using Synchronized Transitions

Formal Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-63475-4_3 ◽

1997 ◽

pp. 114-155 ◽

Cited By ~ 1

Author(s):

Jørgen Staunstrup

Keyword(s):

Design Verification

Download Full-text

Automated verification with abstract state machines using multiway decision graphs

Formal Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-63475-4_2 ◽

1997 ◽

pp. 79-113 ◽

Cited By ~ 10

Author(s):

E. Cerny ◽

F. Corella ◽

M. Langevin ◽

X. Song ◽

S. Tahar ◽

...

Keyword(s):

Automated Verification ◽

State Machines ◽

Abstract State Machines ◽

Multiway Decision Graphs

Download Full-text

Hardware verification using PVS

Formal Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-63475-4_4 ◽

1997 ◽

pp. 156-205 ◽

Cited By ~ 9

Author(s):

Mandayam Srivas ◽

Harald Rueß ◽

David Cyrluk

Keyword(s):

Hardware Verification

Download Full-text

Formal Hardware Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Symbolic trajectory evaluation

Appendix: The common book examples

The C@S system: Combining proof strategies for system verification

Verifying VHDL designs with COSPAN

Design verification using Synchronized Transitions

Automated verification with abstract state machines using multiway decision graphs

Hardware verification using PVS

Formal Hardware Verification - Lecture Notes in Computer Science
Latest Publications