Main Page
Bibliography
Schedule
Reports
Oleg Parshin - Specification and Verification of the ARM6 Microprocessor in HOL
Gennady Shmonin - Algebraic Models of Correctness for Microprocessors
Martin Schaef - Verification of Synchronous Circuits by Symbolic Logic Simulation