Leo Marcus

Learn More
This paper is a progress report on an experimental system, the state delta verification system (SDVS), for verifying microcode correctness. The goal of this project is to solve some of the problems, both theoretical and engineering, obstructing the realization of a usable and applicable program for checking proofs of microcode correctness. The ideal result(More)
Comparisons of the two methodologies clf testing and formal verification (mathematical p~oof of correctness of software or hardware), and suggestions for their cooperative or complementary use have been made extensively, for example, by ~Geller, Gerhart, Hamlet, and others. The defects of one methodology in a given situation can potentially be offset by the(More)