The Laboratory for Modeling and Validation of Software is conducting research in several areas.
Research Projects
- System-Software Co-Engineering of Aerospace Systems
- The MoDeST Tool Environment
- Timed Model-Based Testing
- Dependable Global Computing
- QUPES: Verification of Quantitative Properties of Embedded Software
- Verifying Concurrent Pointer Programs
- MC=MC: Model Checking Infinite-State Markov Chains
- Equational Abstractions for Software Model Checking
- Formal Models of Microcontroller Systems
Research Grants
The group carries out its research by means of national and international research grants.
Project | Granted by |
DFG/NWO 2009 | |
DFG/NWO | |
Vigoni | DFG/? |
MC=MC | NWO |
European Union |
