Hello 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 my best wishes mario (chiari)