Seminar Formal Methods I (WS 2014/15)
Abschnittsübersicht
-
Seminar Formal Methods I (326.099, WS 2014/15)
Start: October 8, 2014, 12:30-14:00, Hagenberg Castle Seminar Room
Time/Place: Monday, 17:15-18:45, S3 048 (from October 20 on)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
- Wolfgang Schreiner: Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking
-
- Bashar Ahmad: Pipes vs Dams: Framework for Collecting, Processing and Analysing Network Infrastructure.
-
- Wolfgang Schreiner: Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking
-
- Temur Kutsia: Generalization Algorithms and Their Applications
- Temur Kutsia: Generalization Algorithms and Their Applications
-
- Klaus Reisenberger: Introduction to Alloy
- Klaus Reisenberger: Introduction to Alloy
-
- Wolfgang Schreiner: Developing Verified Polynomial Code with the Proof Assistant Isabelle
- Wolfgang Schreiner: Developing Verified Polynomial Code with the Proof Assistant Isabelle