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) |