KIT - Karlsruhe Institute of Technology
image/svg+xml
Endowed professorship for reliable software systems in the automotive industry
Home
Legals
Data Protection
Sitemap
KIT
KIT
de
Profile
Staff
Research
Start
Research
Research
Statische Software-Analyse
Software-Defekt-Vorhersage
Produkt-Konfiguration
Zuverlässige maschinelle Lernverfahren
Logische Entscheidungsverfahren
Lehrveranstaltungen
Bachelor/Master Theses
Publications
Startpage
Home
Legals
Data Protection
Sitemap
Endowed professorship for reliable software systems in the automotive industry
Startpage
Bachelor/Master Theses
Endowed professorship for reliable software systems in the automotive industry
Profile
Staff
Research
Lehrveranstaltungen
Bachelor/Master Theses
Publications
Bachelor/Master Theses
Generating Preconditions for a Modular Analysis
chair:
Generating Preconditions for a Modular Analysis based on Bounded Model Checking
type:
Master Thesis
time:
immediately
tutor:
Marko Kleine Büning
