The SECD Microprocessor : A Verification Case Study (The Springer International Series in Engineering and Computer Science 178) (1992. 192 S.)

This monograph reports on Graham's MSc project, demonstrat­ ing that - in the right hands - the tools and methodology for formal verification can (and therefore should?) now be applied by someone with little previous expertise in formal methods, to verify a non-trivial microprocessor in a limited timescale.