up products / declarative software / actual chip / systems / reactive systems / software system controlling / important applications / nonsatisfactory product / foundational logical systems / /
Position
driver / CD-player / mathematical assistant / stone head / producer / craftsman / /
Product
chip / /
Technology
flawed chip / chip design / technology of realization / Pentium chip / actual chip / /
Proofs of Correctness in Mathematics and Industry Henk Barendregt Radboud University Nijmegen, The Netherlands July 11, 2007