Formale Verifikation

Formale Verifikation üben (Formale Verifikation · Informatik, Universität): 50 Übungsaufgaben mit sofortiger Rückmeldung. In dieser Einheit lernst du: Hoare-Tripel · Korrektheitsbegriffe und Model Checking als Idee kennen; Zuweisungsaxiom anwenden und LTL-Grundoperatoren verstehen; Invarianten und Varianten finden und Schleifen beweisen; Kripke-Strukturen · LTL · CTL und Zustandsexplosion verstehen; Alle Inhalte prüfungsnah anwenden.