Seminar "Formal Methods II" (SS 2016)

Section outline

• Select section Seminar "Formal Methods II" (SS 2016)

  Seminar "Formal Methods II" (SS 2016)

  Collapse all Expand all

  326.099, Wednesday 12:30-14:00, Seminar Room Castle Hagenberg, Start: March 9, 2016
  

  If you prefer another time or place (e.g. 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.

  • Select activity News forum

    

    News forum
  • Select activity Questions and Answers

    

    Questions and Answers Forum
• Select section March 9

  March 9

  • Wolfgang Schreiner: Introduction and Organization.
    
• Select section June 22

  June 22

  • Wednesday, June 22, 17:15, S2 054:
    

  Jan Holzinger: Demonstration of two Search Algorithms implemented in Dafny
  

  • Select activity DemoSearch

    

    DemoSearch File
  • Select activity SearchAlg.dfy

    

    SearchAlg.dfy File
  • Select activity DEMO

    

    DEMO File