[FOM] What is a proof?

[Tjark Weber]

Mario,

On Sun, 2009-02-01 at 20:37 +0000, mario wrote:
> 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. Thanks

I suggest "Operating System Verification -- An Overview" (Gerwin Klein,
2008), available from http://www.doclsf.de/papers/os-overview.html

Regards,
Tjark