PIVOT

Paul McJones, editor
paul@mcjones.org
https://mcjones.org/dustydecks/

Last modified 17 April 2015

PIVOT was an interactive program verifier designed by L. Peter Deutsch for his Ph.D. dissertation. Posted here by permission of L. Peter Deutsch.

Source code

• L. Peter Deutsch. PIVOT source listing. Palo Alto Research Center, Xerox Corporation, 1974-1975. PDF

Documentation

• L. Peter Deutsch. An Interactive Program Verifier. Ph.D. thesis, U.C. Berkeley, 1973. Also released as: Technical Report CSL-73-1, Palo Alto Research Center, Xerox Corporation, May 1973 (reprinted July 1976). PDF