Computer Laboratory / Avra Cohn University of Cambridge Computer Laboratory New Museums Site / University of Cambridge / /
IndustryTerm
hardware systems / actual device / ad hoc logical systems / actual devices / veri ed chips / physical chip / advertising material / safety-critical applications / actual product / actual chip / mechanical and chemical parts / hazardous applications / life-critical applications / mechanical proof systems / notational devices / computing / automotive braking systems / schematic compiling algorithms / material device / bomb deployment systems / actual products / /
Organization
A. Church / University of Cambridge / University of Cambridge Computer Laboratory New Museums Site / U.K. Ministry of Defense / /
Person
Veri / /
Position
author / architect / Designer / /
Technology
functional programming / veri ed chips / 6.1 Chips / Viper chips / actual chip / actual Viper chips / manufactured Viper chips / simulation / operating systems / physical chip / ECL chip / actual Viper chip / schematic compiling algorithms / /
DRAFT The Notion of Proof in Hardware Veri cation