Fehler in VeriFun 3.2.2 & VeriFun 3.3

Christoph Walther
Dozentin/Dozent
Beiträge: 86
Registriert: 1. Nov 2005 18:51

Fehler in VeriFun 3.2.2 & VeriFun 3.3

Beitrag von Christoph Walther »

Wie schon hier im forum berichtet gibt es einen fehler in VF 3.2.2, der zu inkonsistenzen führen kann. Dieser fehler ist inzwischen behoben, ergebnis ist VeriFun 3.3. Ich werde in einer der nächsten volesungen (vermutlich am 1.2.2011) erläutern, um welchen fehler es geht, welche konsequenzen der fehler haben kann und wie es zu dem fehler kam. Um dies zu erläutern wird der stoff von Kapitel 11 benötigt - bis dahin bitte geduld.

Nathan Wasser
Kernelcompilierer
Kernelcompilierer
Beiträge: 430
Registriert: 16. Okt 2009 09:48

Re: Fehler in VeriFun 3.2.2 & VeriFun 3.3

Beitrag von Nathan Wasser »

Eine Datei zur Demonstration des Fehlers befindet sich auf der FGdI3 Webseite.

Antworten

Zurück zu „Archiv“