Current research areas
| Active Projects |
|---|
| Validation of Software Transactional Memory (DFG Project VaST) |
| Verification of service compositions (CRC 901, subproject B3) |
| Proof-Carrying Services (CRC 901, subproject B4) |
| Cooperative Software Verification (DFG Project Coop) |
| Completed Projects |
|---|
| Graph transformation systems: Planning and verification (CRC 614) |
| Verification of networks of timed automata |
| Linearizability Proofs for Weak Memory Models (DFG Project Lina4WM) |
