Design Verification using Synchronized Transitions

Jørgen Staunstrup

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review


    This is a contribution to an edited book giving an overview of a handful of different formal verificationtechniques. Further information is avaialable
    Original languageEnglish
    Title of host publicationFormal Hardware Verification
    PublisherSpringer Verlag
    Publication date1996
    Publication statusPublished - 1996

    Cite this