Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!elroy.jpl.nasa.gov!decwrl!megatest!pat
From: pat@megatest.UUCP (Patrick Powers)
Newsgroups: comp.software-eng
Subject: Re: Proofs (was: Global program state.)
Message-ID: <14849@megatest.UUCP>
Date: 12 Jan 91 02:44:37 GMT
References: <2474@motcsd.csd.mot.com> <10370@lanl.gov> <1070@tetrauk.UUCP> <1991Jan11.175952.10978@pdn.paradyne.com>
Organization: Megatest Corporation, San Jose, Ca
Lines: 8


Harlan Mills has made studies that show that functional verification,
as opposed to Hoare's axiomatic verification, is helpful in producing
reliable software.  I've tried these techniques informally and found
that quite helpful in producing a large system.  There was a cover 
article about them in IEEE Software in about 1987 or 86.
-- 
--