BERGISCHE UNIVERSIT ¨ AT WUPPERTAL
GAUSS-STRASSE 20 42119 WUPPERTAL TELEFAX (0202) 439-2901 TELEFON (0202) 439-0 WWW www.uni-wuppertal.de
Fachbereich C
MATHEMATIK UND NATURWISSENSCHAFTEN Fachgruppe Mathematik und Informatik
Formale Methoden
WS 2007/2008 – ¨ Ubungsblatt 11 31. Januar 2008
Ausgabe: 30. Januar 2008
Prof. Dr. Hans-J¨urgen Buhl Praktische Informatik / Numerik
E-Mail: Hans-Juergen.Buhl@math.uni-wuppertal.de WWW: http://www.math.uni-wuppertal.de/∼buhl
Aufgabe 1. tcov
Bearbeiten Sie eines der letzten Beispielprojekte mit dem Test- Coverage-Tool tcov.
Aufgabe 2. Integrity Examination
Bearbeiten Sie eines der letzten Beispielprojekte mit dem Integrity Ex- amination Tool.
Aufgabe 3. vdmbook
Studieren Sie das
”Course Material“ in http://www.vdmbook.com/twiki/bin/view.
1