Personal tools
You are here: Home Projects Program Verification PIVOT
Document Actions

PIVOT

Up one level

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).
« September 2017 »
Su Mo Tu We Th Fr Sa
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
 

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: