| Lehrveranstaltung | Programmname | WWW-Seite | lokale Doku |
|---|---|---|---|
| Formale Systeme | jflap (serv12*/ganymed*) | JFLAP | |
| Algorithmen und Datenstrukturen | AppC (serv12*) | AppC | |
| Funktionale Programmierung und Typtheorie | hugs (serv12, ganymed) | Hugs | hugs.html |
| KP Syntaxgesteuerte Editoren | genlab (serv12*) | ||
| Interactive Theorem Proving | proofgeneral, isabelle HOL, isabelle FOL (ganymed*) | Isabelle | Doku |
| Interactive Theorem Proving | maude (serv12* V2.1.1, ganymed* V2.5) | The Maude System | |
| Interactive Theorem Proving | pvs (serv12*, ganymed*) | The PVS Specification and Verification System | Manuals |
| Theorem Proving and Equality | SPASS (serv12*) | http://spass.mpi-sb.mpg.de/ | |
| Theorem Proving and Equality | otter (serv12*) | http://www-unix.mcs.anl.gov/AR/otter/ |
Aufruf / Call an serv12* , ganymed*
/usr/users/ith/pthi/bin/programname in tcsh: set path = ( /usr/users/ith/pthi/bin $path )Ohne *: Standardpfad.
Bitte pvs (emacs) an ganymed nicht über die grafische Oberfläche verlassen, sondern mit Ctrl-X Ctrl-C.
Bitte Solaris-Hinweise beachten:
source /etc/skel/.cshrc