Path: utzoo!attcan!uunet!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!cica!iuvax!purdue!haven!mimsy!vicsun.cs.umd.edu!balinsky
From: balinsky@vicsun.cs.umd.edu (Andrew Balinsky)
Newsgroups: comp.software-eng
Subject: Program Verifiers for C
Message-ID: <22315@mimsy.umd.edu>
Date: 6 Feb 90 15:09:09 GMT
Sender: news@mimsy.umd.edu
Reply-To: balinsky@vicsun.cs.umd.edu (Andrew Balinsky)
Organization: U of Maryland, Dept. of Computer Science, Coll. Pk., MD 20742
Lines: 16

I am working on a project to develop a system to aid programmers in proving
partial correctness of C programs.  I would like to know if there are any 
systems out there (preferably in the public domain) that already do this.  I am
aware of one (Unisex, developed at UC-Santa Barbara) for Pascal, but know of 
none for C.  

All help and suggestions welcome.  Suggestions for additional reading welcomed,
too.

Thanks, in advance,
Andrew
--
Andrew Balinsky	(301)454-8094|For my purpose holds to sail beyond the sunset
UMD, College Park, MD 20742  |And to the baths of all the western stars
balinsky@cs.umd.edu          |	until I die.
.uunet!mimsy!balinsky       |			-Tennyson, "Ulysses"