Design Verification using Synchronized Transitions

Jørgen Staunstrup

Design Verification using Synchronized Transitions

Jørgen Staunstrup

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Abstract

This is a contribution to an edited book giving an overview of a handful of different formal verificationtechniques. Further information is avaialable

Original language	English
Title of host publication	Formal Hardware Verification
Publisher	Springer Verlag
Publication date	1996
Publication status	Published - 1996

OpenUrl availability

Full text

Cite this

@inbook{f77f1e3148b84e62a5fa375769c52155,

title = "Design Verification using Synchronized Transitions",

abstract = "This is a contribution to an edited book giving an overview of a handful of different formal verificationtechniques. Further information is avaialable",

author = "J{\o}rgen Staunstrup",

year = "1996",

language = "English",

booktitle = "Formal Hardware Verification",

publisher = "Springer Verlag",

address = "Germany",

}

TY - CHAP

T1 - Design Verification using Synchronized Transitions

AU - Staunstrup, Jørgen

PY - 1996

Y1 - 1996

N2 - This is a contribution to an edited book giving an overview of a handful of different formal verificationtechniques. Further information is avaialable

AB - This is a contribution to an edited book giving an overview of a handful of different formal verificationtechniques. Further information is avaialable

M3 - Book chapter

BT - Formal Hardware Verification

PB - Springer Verlag

ER -