Formal specification and verification of hardware: A comparative case study
V Stavridou, H Barringer… - 25th ACM/IEEE, Design …, 1988 - ieeexplore.ieee.org
V Stavridou, H Barringer, DA Edwards
25th ACM/IEEE, Design Automation Conference. Proceedings 1988., 1988•ieeexplore.ieee.orgA 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.<>
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.<>
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.< >
ieeexplore.ieee.org
Showing the best result for this search. See all results