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