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 |