LMU Bachelor Lecture Formale Spezifikation und Verifikation, WS 21. This lecture is held in German.
- Testen
- Erreichbarkeitsanalysen
- Floyd/Hoare Logik
- Verifikation von Objektorientierten Programmen
- Automatisiertes Beweisen (SAT/SMT)
- Modellierung/Spezifikation reativer Systeme