|
|
Research Group Computer Science 2 | Dept. of Computer Science |
|
Seminar: Verification Techniques(S2, WS 2012/13) |
|
Prof. Dr. Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Carsten Otto, Thomas Ströder
Several techniques and methods for program verification will be presented in this seminar.
The seminar will take place at the end of the lecture period (February 4th 2013 and February 5th 2013).
Participants should have knowledge in program verification or related areas (for example "functional programming", "logic programming", or "term rewriting").
| Date | Time | Place | Topic | Supervisor | Student |
|---|---|---|---|---|---|
| 04.02.13 | 10:00 | seminar room i3, 4312 | The Dependency Pair Framework | J. Giesl | Jochen Schmücking |
| 04.02.13 | 10:45 | seminar room i3, 4312 | Proving Termination by Inductive Theorem Proving | F. Emmes | Thomas Heinemann |
| 04.02.13 | 11:30 | seminar room i3, 4312 | Complexity Analysis of Term Rewrite Systems | F. Emmes | Moses Ganardi |
| 04.02.13 | 12:15 | seminar room i3, 4312 | Abstract Interpretation of Programs | T. Ströder | Norman Hansen |
| 04.02.13 | 14:00 | seminar room i3, 4312 | Termination Analysis for Java Bytecode | C. Otto | Emmanuel Biver |
| 04.02.13 | 14:45 | seminar room i3, 4312 | Infeasible Code Detection for Java Bytecode | C. Otto | Benjamin Kaminski |
| 05.02.13 | 10:00 | 5052 | SAT Modulo Theories | J. Giesl | Sebastian Roidl |
| 05.02.13 | 10:45 | 5052 | Termination Analysis by Loop Summarization | T. Ströder | Dimitri Bohlender |
| 05.02.13 | 11:30 | 5052 | Low Level Bounded Model Checking | C. Otto | Kathrin Eckhardt |
| 05.02.13 | 12:15 | 5052 | Model Checking with Interpolants | M. Brockschmidt | Levin Gerdes |
| 05.02.13 | 14:00 | 5052 | Automatic Generation of Loop Invariants | J. Giesl | Devran Ölcer |
| 05.02.13 | 14:45 | 5052 | Verified Programming with DAFNY | T. Ströder | Paul Smith |
Theoretical Computer Science, Area of Specialization
For further details please contact Carsten Otto. See also the corresponding page of the seminar in German.
| Disclaimer | Research Group Computer Science 2 | Dept. of Computer Science |
 |