Softwaretechnik 3 SS 2010 Einführung in TLA+
Softwaretechnik 3 SS 2010 Einführung in TLA+
Softwaretechnik 3 SS 2010 Einführung in TLA+
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
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