Some Papers on ProofPower
[ProofPower Logo]

Some Papers on ProofPower

Contributing Documentation Download Examples Getting Home Mailing List Papers Patches Specifications

This directory contains some papers about ProofPower.

The papers are supplied as PDF files where possible, otherwise as compressed PostScript format.

Roger Jones and Rob Arthan were the original architects of the ProofPower specification and verification systems. Dave King and Rob Arthan were the main designers of the ProofPower implementation of the Compliance Tool.

There are some more papers on formal methods by Rob Arthan in the papers section of the Lemma 1 web site.

Copyright © Lemma 1 Ltd.
Created by  Rob Arthan [rda at lemma-one dot com]
Last updated: $Date: 2015/09/23 11:15:53 $
[Lemma 1 Logo]