Software Preservation Group of the Computer History Museum

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

Documentation