Totally verified systems: linking verified software to verified hardware
The work
| Authors | Joyce, Jeffrey J. |
|---|---|
| Editors | |
| Type | misc |
| Year | 1989 |
| Also known as | anon1989totally |
| Citekey | joyce1989totally |
Where it appeared
| Publisher | Computer Laboratory, University of Cambridge |
|---|---|
| Number in series | UCAM-CL-TR-178 |
Identifiers
| DOI | 10.48456/tr-178 |
|---|---|
| report_number | UCAM-CL-TR-178 |
A copy is held
pdf, 1.5 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via datacite |
|---|---|
| Added | 2026-10-22 17:26 UTC |
| Approved by | a person 2026-10-22 17:38 UTC |
Cite it as
@misc{joyce1989totally,
title = {Totally verified systems:
linking verified software to verified hardware},
author = {Joyce, Jeffrey J.},
year = {1989},
publisher = {Computer Laboratory, University of Cambridge},
doi = {10.48456/tr-178},
}
This record lives at https://refs.drheap.org/joyce1989totally/ and will keep
doing so. It used to be called anon1989totally, and those addresses still resolve to this one.