|Research Group Computer Science 2||Dept. of Computer Science|
Seminar: Verification Techniques
(S2, WS 2018/19)
Prof. Dr. Jürgen Giesl, Stefan Dollase, Marcel Hark, Jera Hensel, David Korzeniewski
Several techniques and methods for program verification will be presented in this seminar.
The seminar will take place as a block seminar at the end of the lecture period or the beginning of the lecture-free period (February 2019). The seminar takes place on the 6th of February 2019 in our seminar room (E2, room 4201b).
Your seminar paper should have 10 pages and be written in either English or German. Do not provide an index or table of contents, but attach a list of references. More than 5 spelling or grammar mistakes on a single page will lead to an immediate rejection of your paper, so please use an automated spell checker!
The seminar talks should not take more than 25 minutes and can be held in English or German.
Participants should have knowledge in program verification or related areas (for example "functional programming", "logic programming", "term rewriting", "satisfiability checking", "model checking", "static program analysis", "semantics and verification of software", etc.).
|Termination Analysis of Integer Transition Systems||Link||David Korzeniewski||Damyan Dimanov||TBA|
|Termination Analysis for Term Rewrite Systems Using Dependency Pairs||Link||Jera Hensel||Humam Kourani||TBA|
|Automated Termination Proofs for Java Programs with Cyclic Data||Link||Stefan Dollase||Christian Rennert||TBA|
|Analyzing Runtime and Size Complexity of Integer Programs||Link||Marcel Hark||Philipp Ludwig||TBA|
|Lower Runtime Bounds for Integer Programs||Link||Prof. Dr. Jürgen Giesl||Marius Sachsenhausen||TBA|
|Bounded Expectations: Resource Analysis for Probabilistic Programs||Link||Marcel Hark||Vincent Wehrwein||TBA|
|On Probabilistic Term Rewriting||Link||Prof. Dr. Jürgen Giesl||Ebru Kusak||TBA|
|Local Reasoning about Programs that Alter Data Structures||Link||Stefan Dollase||Valentin Promies||TBA|
|The KeY Symbolic Execution Debugger||Link||David Korzeniewski||Nils Lommen||TBA|
Theoretical Computer Science
For further details please contact Marcel Hark.
|Disclaimer||Research Group Computer Science 2||Dept. of Computer Science|