Counterexample angeben

StOl
Neuling
Neuling
Beiträge: 7
Registriert: 16. Okt 2011 17:48

Counterexample angeben

Beitrag von StOl »

Hallo,

in der Aufgabenstellung 3 steht, dass man ein Gegenbeispiel angeben soll mithilfe von SPIN.
Wie funktioniert das genau?

Benutzeravatar
JannikV
Nerd
Nerd
Beiträge: 609
Registriert: 24. Apr 2011 12:42

Re: Counterexample angeben

Beitrag von JannikV »

Das Ding spuckt ja einen Trail aus. Den mit abgeben und in der Report Datei beschreiben wie dieses Gegenbeispiel aussieht.

VG

Antworten

Zurück zu „Archiv“