Lehrveranstaltung SV

DI Dr. Andreas Bollin

Lehre

Kontakt

Privates

Schtairisch

Lehrveranstaltung WS2004/05
620.051 KV Spezifikation und Verifikation (Bollin)
Donnerstag, 16:00 - 17:30, HS B
620.052 KV Spezifikation und Verifikation (Wakounig)
Mittwoch, 10:00 - 11:30, HS 10

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: 2004-07-23