| Historical Papers | |||||
| I have had a request to make a copy of my Ph.D. thesis available as a historical document. | |||||
| Style | Size | Document | Author | Date | Comments |
| PDF Text | 11.3MB | A Program Verifier (ask jking@adobe.com) | Jim King | 10/1969 | Ph.D. Thesis at CMU. One of the first on proving correctness of programs |
| PDF Slides | 236 KB | Symbolic Execution | Jim King | 1970's | Slides describing the ideas in Symbolic Execution and its relationship to proving the correctness of programs. |
Last updated: 9/15/2007 - J. King Questions? Comments? e-mail to: jking@adobe.com