Blatt 1
Ready ?

Was zeichnet ein für die Verifikation ideales Modell aus? Nennen
und erklären Sie zwei Ursachen, die zu suboptimalen Modellen
führen!

Was ist im Allgemeinen das Ziel der formalen Verifikation
hinsichtlich der Pfade eines Systems?
Wie steht dies im Bezug zum
Testen?

Nennen Sie 4 Modellierungssprachen!

Nennen Sie 2 Spezifikationssprachen!

Erkären sie die beiden Wortbestandteile des Begriffs
"Formale Verifikation" !

Wie schwer ist formale Verifikation von Software? Können Sie dem
Software-Verifikationsproblem eine Komplexitätsklasse zuweisen?
Nennen Sie diese bzw. geben Sie eine Begründung, falls dies nicht
möglich sein sollte!

Welche Klassen von Eigenschaften gibt es,
die man verifizieren kann?

Erklären Sie, was Sicherheitseigenschaften sind ?
(mit Beispielen und wie man sie beweisen kann)

Erklären Sie, was Lebendigkeitseigenschaften sind ?
(mit Beispielen und wie man sie beweisen kann)

Wie erkennen, ob eine Eigenschaft Sicherheits- oder Lebendigkeitseigenschaft ist ?

Blatt 1 fertig
Got it ?

1.3 Sprachen für Spezifikationen und Modelle
Ready (for the rest) ?

Was sind die (3) Aspekte, um Modellierungssprachen zu unterscheiden

1.4 Ansätze zur Verifikation
Ready (for the rest) ?

Was sind diese Einsätze ? (2)