balinsky@vicsun.cs.umd.edu (Andrew Balinsky) (02/06/90)
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"