Universität Bremen  
  FB 3  
  Group BKB > Teaching > WS 04/05 > Formal Methods of Software Development I > Deutsch

The programatica tools

Programatica home page

Download programatica

P-logic syntax

Samle source files (unpack with tar xzvf pfetest.tgz)

Usage of the tools

Proof editor Alfa

Download Alfa

If you want to use the local installation in Bremen, use (preferably in your .bashrc):

export PROGRAMATICA=/home/linux-bkb/programatica/lib/Programatica
export PATH=/home/linux-bkb/programatica/bin:$PATH
Sample call of Programatica:
pfesetup test0.hs
Author: Dr. Till Mossakowski
  Group BKB 
Last updated: November 30, 2004   impressum