Personal tools
You are here: Home → Projects → Program Verification → PIVOT
Navigation
Log in


Forgot your password?
 
Views
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.

 Title   Size   Modified   State 
PIVOT source listing 23.6 MB 2015-04-14 01:48 Public
L. Peter Deutsch. An Interactive Program Verifier. May 1973. 7.5 MB 2015-04-17 17:38 Public
« May 2025 »
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 31
 
Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: