|
From: Konrad S. <sl...@cs...> - 2003-08-02 10:34:25
|
1. Article in The Economist, slightly negative about formal verification.
http://www.economist.com/science/tq/displayStory.cfm?story_id=1841081
2. Article about an interesting HOL-Light proof-checking project (needs
subscription unfortunately)
http://www.nature.com/cgi-taf/DynaPage.taf?file=/nature/journal/v424/n6944/full/424012a_fs.html
Other information is available at
http://www.math.pitt.edu/~thales/flyspeck/index.html
Konrad.
|