Formal Verification of a Microprocessor Using Equational Techniques

Publisher Website

1 January 1989

book chapter
Published by Springer Nature

p. 171-218
https://doi.org/10.1007/978-1-4612-3658-0_4

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

Computer experiments with the REVE term rewriting system generator
Published by Association for Computing Machinery (ACM) ,1983