Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| — | lehre:wise0910:vup_seminar [2024/10/30 03:13] (aktuell) – angelegt - Externe Bearbeitung 127.0.0.1 | ||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| + | ====== Verifikation und Programmanalyse ====== | ||
| + | ~~NOTOC~~ | ||
| + | \\ | ||
| + | Software wird in immer mehr Bereichen des täglichen Lebens eingesetzt. Sie steuert und regelt eine Vielzahl von Systemen wie Autos, Fahrstühle, | ||
| + | \\ | ||
| + | Dieses Seminar behandelt fortschrittliche Methoden, welche die Qualität eingebetteter Software überprüfen können und somit zur Sicherheit und Verlässlichkeit der Gesamtsysteme beitragen. | ||
| + | |||
| + | ===== Inhalt ===== | ||
| + | |||
| + | Die Themen des Seminars kommen aus folgenden Gebieten:\\ | ||
| + | \\ | ||
| + | * Model-Checking von eingebetteter Software | ||
| + | * Architecture description languages | ||
| + | * Automatische Generierung von Softwarewerkzeugen | ||
| + | * Abstrakte Interpretation | ||
| + | * Statische Analyse | ||
| + | * Abstraktionstechniken für Model-Checking | ||
| + | * Symbolische Zustandsdarstellung | ||
| + | * Constraint basiertes Model-Checking | ||
| + | |||
| + | ===== Termine ===== | ||
| + | |||
| + | * Einführungsveranstaltung: | ||
| + | * Die Vorträge werden an vier Terminen stattfinden: | ||
| + | |||
| + | ===== Betreuer ===== | ||
| + | |||
| + | * [[: | ||
| + | * [[: | ||
| + | * [[: | ||
| + | |||
| + | |||
| + | |||