Regner Regnemaskiner Rigtigt? - Når Computeren Kokser
Jakob Lichtenberg
Jørn Lind Nielsen
Poul Frederick Williams
April 1999
Summary
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.
"Regner Regnemaskiner Rigtigt? - Når Computeren Kokser" was published in
Berlingske Tidende, Univers, April 20, 1999. In Danish.
