| Datum |
Thema |
Link |
Student/Betreuer |
| Model Checking |
| Do, 10:00 |
UPPAAL: Modellierung und Verifikation von Realzeitsystemen |
Doku |
Marinov/Flexeder |
| Do, 11:00 |
Slam/Boop: Untersuchung der Reachability in C-Programmen |
Doku |
Rickhoff/Barner |
| Intermediate Representation |
| Do, 14:00 |
LLVM: Entwicklung sprachunabhängiger
Analysen und Optimierungen |
Doku |
Trummer/Barner |
| Analyse von Executables |
| Do, 13:00 |
Codesurfer: Pointeranalyse |
Doku |
Fritzsch/Flexeder |
| Fr, 10:00 |
Soot: Optimierungsframework für Java-Bytecode |
Doku |
Rödel/Petter |
| Fr, 11:00 |
Java Path Finder: Verifikation von Java Bytecode |
Doku |
Hien/Petter |
| Programm Korrektheit |
| Fr, 13:00 |
Coverity: Source Code Analyse |
Doku |
Kawollek/Barner |