An Informal Introduction to Formal Methods

By clicking the thumbnail page images, you can peruse the slides. You may also grab the postscript file (507K) from which this tree of html and gif files was generated.

These pages were generated by Webify. Click here to download a large compressed tar file containing webify source. Webify is a simple, single C program which invokes GhostScript to do most of the real work. Documentation is sparse.

Curator: C. Michael Holloway (C.M.Holloway@LaRC.NASA.GOV)

last modified: 10/01/97