PIVOT

Interactive program verifier designed by L. Peter Deutsch for his Ph.D. dissertation. Posted here by permission of L. Peter Deutsch.

PIVOT source listing by Paul McJones — last modified 2015-04-14 01:48

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

L. Peter Deutsch. An Interactive Program Verifier. May 1973. by Paul McJones — last modified 2015-04-17 17:38

L. Peter Deutsch. An Interactive Program Verifier. Xerox Palo Alto Research Center CSL-73-1, May 1973 (reprinted July 1976).