A formal specification of some user mode instructions for the motorola 68020 (1992)
Cached
Download Links
by
Robert S. Boyer
,
Yuan Yu
| Venue: | Computer Sciences Department, University of Texas at Austin |
| Citations: | 4 - 3 self |
BibTeX
@TECHREPORT{Boyer92aformal,
author = {Robert S. Boyer and Yuan Yu},
title = {A formal specification of some user mode instructions for the motorola 68020},
institution = {Computer Sciences Department, University of Texas at Austin},
year = {1992}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Copyright (C) 1994 by Yuan Yu. All Rights Reserved. This script is hereby placed in the public domain, and therefore unlimited editing and redistribution is permitted.
Citations
| 31 | Automated correctness proofs of machine code programs for a commercial microprocessor - Boyer, Yu - 1991 |
| 16 | W.D.: Special issue on system verification - Bevier, Hunt, et al. - 1989 |
