Formal specification and verification of hardware: A comparative case study.

V. Stavridou, H. Barringer, D. A. Edwards

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    A report is presented on the results of a first controlled experiment comparing formalisms and systems that are currently used for formally specifying and verifying both hardware and software systems. The strategy consists of working with incrementally harder test cases, which are used to investigate the characteristics and thus the pros and cons of each formalism. The example used is a purely combinational device.
    Original languageEnglish
    Title of host publicationProceedings - Design Automation Conference|Proc Des Autom Conf
    Place of PublicationPiscataway, NJ, United States
    PublisherIEEE
    Pages197-204
    Number of pages7
    ISBN (Print)0818688645
    Publication statusPublished - 1988
    Event25th ACM/IEEE Design Automation Conference - DAC Proceedings 1988. - Anaheim, CA, USA
    Duration: 1 Jan 1824 → …
    http://dblp.uni-trier.de/db/conf/dac/dac88.html#StavridouBE88http://dblp.uni-trier.de/rec/bibtex/conf/dac/StavridouBE88.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/dac/StavridouBE88

    Conference

    Conference25th ACM/IEEE Design Automation Conference - DAC Proceedings 1988.
    CityAnaheim, CA, USA
    Period1/01/24 → …
    Internet address

    Fingerprint

    Dive into the research topics of 'Formal specification and verification of hardware: A comparative case study.'. Together they form a unique fingerprint.

    Cite this