Diese Online-Vorlesung aus dem Bereich der Theoretischen Informatik beschäftigt sich mit der formalen Spezifikation und Verifikation. Enthalten sind folgende Themen: propositionale Logik, Temporallogik, Programmanalyse und Typsysteme sowie erststufige Logik und Programmlogik.
| Instructor: | Professor Martin Hofmann |
| Provided by: | Universität München |
| Course language: | German |
| Fees: | free course |
| Level: | intermediate |
| Certificate available? | |
| Format: | video lecture |
How do you like the course 'Formale Spezifikation und Verifikation'?
