 | A solver for a theory of strings
(in cooperation with mgm technology partners GmbH)
( PDF Description ) | |  |
| An Advanced Solver for Presburger Arithmetic
( PDF Description )(  Further Information ) | |  |
| Master Z-Automata for Regular Languages
| | |
| Probabilistic cellular automata
( PDF Description ) | | |
 | Upper Bounds for Policy-Iteration Sequences
( PDF Description ) | |  |
 |
|
 |
|
|
Master/Diploma or Bachelor Theses
|
|
| A Tool for Modal Transition Systems
( PDF Description )( Further Information ) | | |
| A Tool for Stochastic Real-Time Processes
( PDF Description ) | | |
| An Extension of the Tool for Modal Transition Systems
( PDF Description ) | | |
| Newton-solver for Semirings
( PDF Description ) | | |
| Strategy Iteration on the Graphics Card
( PDF Description ) | | |
|
|
|
|
|
Further Topics for Theses
|
|
| Concurrent/distributed verification algorithms
( Further Information ) | | |
| Constraint-based algorithms for software analysis and verification.
( Further Information ) | | |
| Language-based techniques
( Further Information ) | | |
| Software verification tools in practice
( Further Information ) | | |
Contact
