Project Seminar "Formal Methods I" (WS 2011/12)

Section outline

• Select section Seminar "Formal Methods I" (WS 2011/12)

  Seminar "Formal Methods I" (WS 2011/12)

  Collapse all Expand all

  Seminar "Formal Methods I" (WS 2011/12)

  ---

  Time: Wednesday, 12:30-14:00
  Place: Hagenberg Seminar Room
  Start: October 19, 2011
  

  ---

  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 section October 19

  October 19

  • Wolfgang Schreiner: Introduction and Organization.
  • Wolfgang Schreiner: Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs
• Select section 9 November - 15 November

  9 November - 15 November

  • Madalina Erascu: Talk (joint seminar with Theorema, 11:30)
• Select section January 25

  January 25

  • Barnabas Kralik, Eötvös Loránd University, Budapest: A Relational Model of Programming

  • Taimoor Khan, RISC/DK: Comparison between Boogie2 and Why3 for the verification of MiniMaple programs.
    

  • Select activity A Relational Model of Programming

    

    A Relational Model of Programming File
  • Select activity Comparison between Boogie2 and Why3 for the verification of MiniMaple programs

    

    Comparison between Boogie2 and Why3 for the verification of MiniMaple programs File