The notion of proof in hardware verification
The work
| Authors | Avra Cohn |
|---|---|
| Editors | |
| Type | article |
| Year | 1989 |
| Citekey | cohn1989notion |
Where it appeared
| Published in | Journal of Automated Reasoning |
|---|---|
| Publisher | Springer Science and Business Media LLC |
| Volume | 5 |
| Issue | 2 |
| Pages | 127--139 |
Identifiers
| DOI | 10.1007/bf00243000 |
|---|---|
| ISSN | 0168-7433 |
Access
| Landing page | https://doi.org/10.1007/bf00243000 |
|---|
Empty on purpose
| abstract, copy |
Related
| Contained in | colburn1993program |
|---|---|
| Distinct from | cohn1986mechanized |
| Distinct from | cohn1987proof |
| Distinct from | cohn1988correctness |
| Distinct from | cullyer1987application |
| Distinct from | dhingra1987formal |
| Distinct from | gupta1992formal |
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-09-15 18:22 UTC |
| Approved by | a person 2026-09-15 20:37 UTC |
Filed under
Cite it as
@article{cohn1989notion,
title = {The notion of proof in hardware verification},
author = {Avra Cohn},
year = {1989},
journal = {Journal of Automated Reasoning},
publisher = {Springer Science and Business Media LLC},
volume = {5},
number = {2},
pages = {127--139},
issn = {0168-7433},
doi = {10.1007/bf00243000},
}
This record lives at https://refs.drheap.org/cohn1989notion/ and will keep doing so.