Joint Complang/RISC Workshop on
Timing Analysis and Symbolic Computation
| 10:00 | Welcome and Opening | |
| 10:15 | Development
of Infrastructures for Automatic Program Analysis Markus Schordan, University of Applied Sciences Technikum Wien, Vienna, Austria. | |
| 11:15 | A
Constraint-based Logic Analysis for TuBound Adrian Prantl, Vienna University of Technology, Vienna, Austria. | |
| Lunch | ||
| 14:00 | Functional
Program Verification in Theorema. Recent Achievements and
Perspectives Nikolaj Popov and Tudor Jebelean, RISC-Linz, Hagenberg, Austria. | |
| 15:15 | Combining
Automated Reasoning and Algebraic Methods in
Theorema Tudor Jebelean, RISC-Linz, Hagenberg, Austria. | |
| 16:30 | Forward
Symbolic Execution for Verification in
Theorema System Madalina Erascu and Tudor Jebelean, RISC-Linz, Hagenberg, Austria. | |
| 17:45 | Plenary Session | |
| Workshop Dinner |
| 09:00 | Towards
Automatic Verification of Structural Code-Coverage
Preservation Raimund Kirner, Vienna University of Technology, Vienna, Austria. | |
| 10:15 |
Specification, Verification and Synthesis of Tail Recursive
Programs in Theorema Nikolaj Popov and Tudor Jebelean, RISC-Linz, Hagenberg, Austria. | |
| 11:30 | Wrap-up Session | |
| Lunch | ||
| 14:00 | Open Discussion Session and Farewell |