PhD navigation: PhD Overview Table of Contents, relating the PhD and the online material Detailed description of the files in this directory Download area

Detailed Descriptions: Fibration Queue UML

Detailed Desciption for directory Variance

This page gives detailed information for all files in the directory Variance.

Click here to jump downwards to the description.
variance.pvs Lemma about even and odd numbers
typecheck.el control file for PVS
all.pvs Import everything

variance.pvs: Formalisation of variances

This file formalises the notion of variances that is introduced in Section 4.2. and proves Lemma 4.2.2.

all.pvs: Import everything

Use this theory to run all proofs via prove-importchain.

typecheck.el: typecheck everything

To typecheck everything start PVS in this directory and type
M-x load-file typecheck.el

Home Science Overview All Publications Talks PhD CCSL Robin

last modified on 20 Sep 2011 by Hendrik