Dipl.-Inf. Bogdan Tofan
|Telefon:||+49 821 598 - 2181|
The following topics are part of my teaching involvement.
- Formal Methods in Software Engineering
- Systemmodeling, Analysis and Verification
- Programming Java Smartcards
Supervised master theses.
- Jörg Pfähler: Formal Verification of Efficient Data Structures for Multi-Core Processors
Here are some verification competitions we have participated in.
- VSTTE '12: This is the competition page and here are our solutions.
- FoVeOOS '11: Here is the official page and these are our solutions.
Currently, I am involved in project VeriCAS, which is about the formal verification of efficient concurrent algorithms for multi-core processors.