Universität · Informatik
Formale Methoden und Verifikation
5 Lektionen
5 Karteikarten-Decks
5 Quizze
Lehrplan
6. Semester – Abschluss und Bachelorarbeit
Einführung in formale Methoden: Motivation, Klassifikation und Anwendungsgebiete1 Decks1 QuizFormale Spezifikation: Z-Notation, Alloy und TLA+1 Decks1 QuizModel Checking: Temporale Logiken, CTL, LTL und SPIN1 Decks1 QuizProgrammverifikation: Hoare-Logik, Schleifeninvarianten und Vor-/Nachbedingungen1 Decks1 QuizAktuelle Entwicklungen: SAT/SMT-Solver, Fuzzing und formale Methoden in der Industrie1 Decks1 Quiz
Jetzt Formale Methoden und Verifikation lernen
Alle 5 Lektionen mit Karteikarten, Quizzen und KI-Lernhilfen. 7 Tage kostenlos.
Kostenlos testen