Softwaretechnik 3 SS 2010 Einführung in TLA+
Softwaretechnik 3 SS 2010 Einführung in TLA+
Softwaretechnik 3 SS 2010 Einführung in TLA+
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Inhalt<br />
Allgeme<strong>in</strong>es<br />
Beispiel e<strong>in</strong>er Spezifikation<br />
Beispiel<br />
Semantik anhand des Beispiels<br />
Kompositionalität<br />
Stottern<br />
Das Beispiel vollständig erklärt<br />
Notation für temporale Formeln<br />
Über Fairness<br />
Mehr Notation und e<strong>in</strong> größeres Beispiel