Seminar Formal Methods I (WS 2015/16)

Section outline

• Select section General

  General

  Collapse all Expand all

  326.063, Wednesday, 12:30-13:00, Seminar Room Castle Hagenberg
  If you prefer another time or place (e.g., at the JKU campus), send me an 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.

  • Select activity News forum

    

    News forum
  • Select activity Questions and Answers

    

    Questions and Answers Forum
• Select section October 14

  October 14

  • Wolfgang Schreiner: Introduction and Organization.
    
• Select section November 18

  November 18

  • Jan-Michael Holzinger: Dafny - An Automatic Program Verier for Functional Correctness
    

  • Select activity Dafny - An Automatic Program Verier for Functional Correctness

    

    Dafny - An Automatic Program Verier for Functional Correctness File
• Select section December 7

  December 7

  • Daniela Ritirc: Status Report on Master Thesis
    

  • Select activity Status Report

    

    Status Report File
• Select section January 26

  January 26

  • Stefan Amberger: A Parallel, In-Place, Rectangular Matrix Transpose Algorithm: Description of Algorithm and Correctness Proof
    

  • Select activity Master Seminar Presentation 1

    

    Master Seminar Presentation 1 File
• Select section February 4

  February 4

  • Stefan Amberger: A Parallel, In-Place, Rectangular Matrix Transpose Algorithm: Complexity Analysis: Complexity Analysis
    

  • Select activity Master Seminar Presentation 2

    

    Master Seminar Presentation 2 File