Navigation [Access-Key 1]
Access-Key 1
Access-Key 8
Access-Key 2
Access-Key 4
Access-Key 6
Access-Key 9
Access-Key 7
Info und Anleitung Info and instruction
Embed -Suche einbinden search (Mit der Aktivierung der Google-Suche bestätigen Sie, dass Sie mit der Einbindung und der dazu erforderlichen Datenübermittlung an Google einverstanden sind.) (By activating Google Search, you confirm that you agree to the integration and the necessary data transfer to Google.)
Prof. Dr. Heike Wehrheim
Sekretariat
Marion Bramkamp
Uhlhornsweg 84 — Raum A2 2-228
+49 441 798-4522
[email protected]
Aktuelle Projekte
Cooperative Software Verification
Concurrency Reasoning for Weak Memory
Concepts and Algorithms for – and Usage of – Self-Explaining Digitally Controlled Systems
Abgeschlossene Projekte
Validation of Software Transactional Memory
Verification of Service Compositions
Proof-Carrying Services
