Lehrveranstaltung SV

DI Andreas Bollin

Startseite

Lehre

Forschung

Kontakt

Privates

Schtairisch

Lehrveranstaltung WS02/03
620.116 KV Spezifikation und Verifikation
Montag, 10:15 - 11:45, HS 2

Aktuelles:

Die Lehrveranstaltung ist abgeschlossen. Ich muss mich nochmals für die tolle Mitarbeit bedanken - es war einfach angenehm, mit Ihnen über einzelne Z-Aufgaben zu diskutieren.

Diverses:

Sie finden hier die gepatchte Linux Version des cadiz Binaries. (Achtung! Filename ist cadiz.gz, einige Browser verschlucken das .gz!) Einfach die Datei ../i486/cadiz/cadiz durch die neue, entzippte Datei ersetzen. Fertig!
CadiZ Software (Manuals, Tips, ...) finden Sie auf der CadiZ Homepage: unter http://www-users.cs.york.ac.uk/~ian/cadiz/, aber auch auf dem FTP Server der Institute für Informatik unter ftp://ftp2-itec.uni-klu.ac.at.

Fragen, Wünsche und Verbesserungsvorschläge bitte gleich per email (andi@isys.uni-klu.ac.at) an den Autor!

Letzte Änderung: 2000-10-03