4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
4.2 Grundlagen der formalen Spezifikation und Verifikation<br />
ST II<br />
Korrektheit von Parallelen Programmen<br />
4. Interferenzfreiheit<br />
Keine Komponente eines parallelen Programms mischt sich in<br />
unerwünschter Weise in die Berechnung einer anderen Komponente ein<br />
5. Deadlockfreiheit<br />
Keine Situation, in der alle noch nicht terminierten Komponenten unendlich<br />
lange auf die Erfüllung einer Bedingung warten<br />
6. Korrektheit ohne Fairness-Annahme<br />
© 2013 IAS, Universität Stuttgart 180