Lässt es sich mit cremefarbenem Papier, einer Tönung, mehr Kontrast oder größerer Schrift besser lesen? Wählen Sie Ihre Farben und Ihre Schrift, einmalig für alle Seiten.

Kostenloses Modul

Formale Methoden

Lernen Sie formale Methoden praktisch: Behauptungen mit Z3 beweisen, Sperren mit SPIN prüfen, Invarianten in TLA+ und Modelle in Alloy.

6 LektionenLektion, 315 Min.Kern der Informatik

Die Lektionen

Jede Lektion lesen Sie kostenlos vollständig. Mit einem kostenlosen Konto führen Sie die Befehle in einem Lab aus und lösen die Quizze und Aufgaben.

  1. 1 · Ubuntu-VM-Lab

    Warum Tests nicht genügen

    Ich kann sagen, was ein Test zeigt und was ein Beweis zeigt.

    Lektion lesen

  2. 2 · Ubuntu-VM-Lab

    Behauptungen mit dem Z3-Solver beweisen

    Ich kann Z3 fragen, ob eine Behauptung immer gilt.

    Lektion lesen

  3. 3 · Ubuntu-VM-Lab

    Race Condition in Promela finden

    Ich kann eine Race Condition in der Ablaufspur eines Programms finden.

    Lektion lesen

  4. 4 · Ubuntu-VM-Lab

    Sperren (Locks) mit SPIN prüfen

    Ich kann eine Sperre schreiben, bei der SPIN keinen Fehler meldet.

    Lektion lesen

  5. 5 · Ubuntu-VM-Lab

    Invarianten in TLA+ schreiben und prüfen

    Ich kann eine Invariante schreiben und das Gegenbeispiel von TLC lesen.

    Lektion lesen

  6. 6 · Ubuntu-VM-Lab

    Gegenbeispiele in Alloy lesen

    Ich kann ein Gegenbeispiel von Alloy aus Personen und Beziehungen lesen.

    Lektion lesen

In einem echten Lab bearbeitet

Jede Lektion dieses Moduls wird in einem Lab bearbeitet, das nur für Sie startet. Die genutzten Labs:

Sie unterrichten eine Gruppe? Weisen Sie dieses Modul Ihren Studierenden zu, mit Handbuch für Lehrende, automatisch geprüften Aufgaben und einem Lab für jede Person.