[FOM] What is a proof?

mario posta at mariochiari.net
Sun Feb 1 15:37:25 EST 2009


On Fri, 2009-01-23 at 20:04 -0800, John McCarthy wrote:

> 2. Formal program verification and hardware verification have been
> used for many years, especially since the Intel floating point
> division catastrophe.

I would like to read a couple of clear, updated primers about suck kind
of work.
Any advise is welcome.

my best wishes
mario (chiari)

More information about the FOM mailing list