I will put packages that are not in the official archive onto
this page for public use and inspection. You can either browse the package directory and download them by
hand or add the following lines to your
/etc/apt/sources.list to fetch them with
apt:
deb http://people.debian.org/~mpitt/ / deb-src http://people.debian.org/~mpitt/ /
Currently available are:
CCSL stands for Coalgebraic Class Specification Language. It is a specification language that combines both algebraic and coalgebraic elements. The CCSL compiler translates CCSL specifications into higher-order logic either for PVS or for Isabelle/HOL. After translation the theorem prover can be used to examine the specification, built models, construct refinements, and much more.
The PVS back end has been tested and is considered to be complete. The Isabelle back end (in new style Isar syntax) works but with our test cases. However, the Isabelle back end has not been tested in a case study.
CCSL has been developed in the LOOP project, for more information about the LOOP project, see http://www.cs.kun.nl/ita/research/projects/loop/ .
pibackup is my personal lightweight backup system which is easy to configure. Features: