The notion of proof in hardware verification

Authors	Avra Cohn
Editors
Type	article
Year	1989
Citekey	`cohn1989notion`

Published in	Journal of Automated Reasoning
Publisher	Springer Science and Business Media LLC
Volume	5
Issue	2
Pages	127--139

DOI	10.1007/bf00243000
ISSN	0168-7433

Landing page	https://doi.org/10.1007/bf00243000

Copy	No open copy on any host this account may ask. Springer, Journal of Automated Reasoning 5(4):127--139, 1989; the record's only address is the doi.org landing page, and link.springer.com is not in hosts. Searched for a deposited alternative on the strength of the author's affiliation, since Cambridge's Computer Laboratory technical report series is open and inside the gate's .ac.uk class -- that route did work for this author and produced cohn1987proof, UCAM-CL-TR-104, held in full. But this paper is not in that series: it was written for a journal, not deposited as a report, and no UCAM-CL-TR number corresponds to it. The only full text visible anywhere is on academia.edu, which is neither in hosts nor an archival deposit, and a user-uploaded scan of a Springer article is not a copy this corpus should hold. Note that there is a second, later printing under the same title -- a chapter at 10.1007/978-94-011-1793-7_16 -- which is a different document and would want distinct_from in both directions if it is ever acquired. It is also Springer and also closed, so it is not a way round this. The substance is not lost to the corpus. The caveats this paper generalises are stated in cohn1987proof's own conclusions, which are held and quoted in a note there.

Copy

No open copy on any host this account may ask. Springer, Journal of Automated Reasoning 5(4):127--139, 1989; the record's only address is the doi.org landing page, and link.springer.com is not in hosts. Searched for a deposited alternative on the strength of the author's affiliation, since Cambridge's Computer Laboratory technical report series is open and inside the gate's .ac.uk class -- that route did work for this author and produced cohn1987proof, UCAM-CL-TR-104, held in full. But this paper is not in that series: it was written for a journal, not deposited as a report, and no UCAM-CL-TR number corresponds to it. The only full text visible anywhere is on academia.edu, which is neither in hosts nor an archival deposit, and a user-uploaded scan of a Springer article is not a copy this corpus should hold. Note that there is a second, later printing under the same title -- a chapter at 10.1007/978-94-011-1793-7_16 -- which is a different document and would want distinct_from in both directions if it is ever acquired. It is also Springer and also closed, so it is not a way round this. The substance is not lost to the corpus. The caveats this paper generalises are stated in cohn1987proof's own conclusions, which are held and quoted in a note there.

How it got here	agent via crossref
Added	2026-09-15 18:22 UTC
Approved by	a person 2026-09-15 20:37 UTC

cohn jar the-switch-or-the-curve you-cannot-patch-silicon

@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.

The notion of proof in hardware verification

The work

Where it appeared

Identifiers

Access

Settled

How it got here

Filed under

Cite it as