Institut für Informatik und Praktische Mathematik 
Christian-Albrechts-Universität zu Kiel
|
Angebotsnr. 11052
|
|
|
|
Stichwörter:
Softwaretechnologie |
|
| |
| Leistungsangebote |
- Testautomatisierung
- Automatische Verifikation von diskreten Echtzeit und hybriden Systemen
|
| Forschungsgebiete |
- Kompositionelle und modulare Methoden der Systementwicklung
- Verfeinerungstheorie und Beweismethoden der Verfeinerung
- Erweiterung und Formalisierung der Entwicklungsmethoden
- Werkzeuge für Simulation, Verifikation und Testen
- automatische Verifikation
|
| Technische Ausstattung |
- Kronos Theorembeweiser-Software (e. g. PVS)
- Multimedia Telelern Ausrüstung
- Model Checkers-Software (SPIN, SMV) Theorombeweiser: PVS
- STATEMATE-Software
- Sun Workstations mit SUN-SOLARIS
|
Inhaltssuche
gefördert durch: EUROPÄISCHE UNION Europäischer Sozialfonds