On Tue, 22 Nov 2011 07:11:43 +0200, Jussi Peltola said: > Anybody who has seen what kind of bizarre malfunctions failed > electrolytics cause in consumer electronics will probably not feel very > comfortable trusting traffic lights whose safety relies on software that > is proven correct.
Beware of bugs in the above code; I have only proved it correct, not tried it. -- Donald Knuth :)
pgpEBPFBJhtki.pgp
Description: PGP signature