Prof. Dr. Heike Wehrheim 


Marion Bramkamp

Uhlhornsweg 84 — Room A2 2-228

+49 441 798-4522

Formal Methods

Welcome to the webpages of the research group Formal Methods!

We develop formal, mathematically precise methods for the description and analysis of hardware or software systems. The developed methods are implemented in tools and evaluated on case studies. Besides sequential verification techniques we currently focus on (a) verification of parallel programs, in particular concurrent data structures and software transactional memory algorithms, (b) taint analysis of Android apps and (c) the analysis of “learned” software. More information can be found on our research pages.

(Changed: 20 Jun 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page