Seminar Formal Methods I (WS 2013/14)
Section outline
-
Time: Wednesday, 12:30-14:00
Place: Hagenberg Seminar Room
Start: October 9, 2013If you prefer another time or place (at the JKU campus), contact me per email.
In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...). This continues the seminar of the previous semester.
To take part in the seminar, you have to enrol in the KUSSS system. If you also login in Moodle and register as a course participant, you will receive per email all messages posted in the News forum.
-
- Wolfgang Schreiner: Introduction and Organization
- Taimoor Khan: Status of PhD research.
-
- Wolfgang Schreiner: Applying Predicate Logic to Monitoring Network Traffic
-
- Alwin Zulehner: Tool Support for Modular Operational Semantics
In the Theorema seminar (11:00-12:30), Madalina Erascu will give a talk on the synthesis of optimal square root algorithms which may be also interesting for participants of the Formal Methods seminar.
-
- Bashar Ahmad: Specificaton of Monitors in the LogicGuard Language
-
- Temur Kutsia: Verifying the Soundness of the LogicGuard History/Delay Analysis.
-
- Wolfgang Schreiner: Generalized history/delay analysis.
-
- Alex Baumgartner: Nominal Anti-Uni fication with an Algorithm to Decide Equivariance.