Regner Regnemaskiner Rigtigt?

(Når Computeren Kokser)

Jakob Lichtenberg
Jørn Lind-Nielsen
Poul Frederick Williams

April 20, 1999

Abstract

This Danish article is a non-technical presentation of current research in formal verification at the Technical University of Denmark. We give people without a research background an introduction to formal verification and some of the problems that arise in this field.

"Når Computeren Kokser" was published in Berlingske Tidende, Univers, April 20, 1999. In Danish.

Draft available as PostScript(gzip'ed), PostScript, and PDF.

Poul Frederick Williams

E-mail: pfw@it-c.dk

Homepage: www.it-c.dk/people/pfw