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 language | English |
|---|---|
| Title of host publication | Proceedings - Design Automation Conference|Proc Des Autom Conf |
| Place of Publication | Piscataway, NJ, United States |
| Publisher | IEEE |
| Pages | 197-204 |
| Number of pages | 7 |
| ISBN (Print) | 0818688645 |
| Publication status | Published - 1988 |
| Event | 25th 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
| Conference | 25th ACM/IEEE Design Automation Conference - DAC Proceedings 1988. |
|---|---|
| City | Anaheim, CA, USA |
| Period | 1/01/24 → … |
| Internet address |