Seminar Formal Methods I (WS 2014/15)

Section outline

• Select section General

  General

  Collapse all Expand all

  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.

  • Select activity Seminar Organization

    

    Seminar Organization Page
  • Select activity Seminar Topics

    

    Seminar Topics Page
  • Select activity News forum

    

    News forum
• Select section October 8

  October 8

  • Wolfgang Schreiner: Introduction and Organization
  • Wolfgang Schreiner: Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking
  • Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking
  • A generalized model for investigating scheduling schemes in computational clusters (Preprint)
  • PRISM - Probabilistic Symbolic Model Checker
    
• Select section October 20

  October 20

  • Bashar Ahmad: Pipes vs Dams: Framework for Collecting, Processing and Analysing Network Infrastructure.

  • Select activity Pipes vs Dams

    

    Pipes vs Dams File
• Select section October 27

  October 27

  • Wolfgang Schreiner: Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking
• Select section November 3

  November 3

  • Temur Kutsia: Generalization Algorithms and Their Applications
    

  • Select activity Anti-Unification

    

    Anti-Unification File
• Select section November 24

  November 24

  • Klaus Reisenberger: Introduction to Alloy
    

  • Select activity Alloy and the Alloy Analyzer

    

    Alloy and the Alloy Analyzer File
• Select section January 19

  January 19

  • Wolfgang Schreiner: Developing Verified Polynomial Code with the Proof Assistant Isabelle
    

  • Select activity Presentation

    

    Presentation File