Project Seminar "Formal Methods I" (WS 2010/11)

Section outline

• Select section General

  General

  Collapse all Expand all

  Project Seminar "Formal Methods I" (326.038, WS 2010/11)
  

  ---

  Time: Wednesday, 12:30-14:00
  Place: Hagenberg Seminar Room
  Start: October 20, 2010
  

  ---

  If you would like to participate in this seminar but prefer another time or place (e.g. at the JKU campus), please contact Wolfgang Schreiner.
  

  ---

  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 and can yourself post messages in the Questions and Answers forum.
  

  ---

  • Select activity News forum

    

    News forum
  • Select activity Questions and Answers forum

    

    Questions and Answers forum
• Select section 20 October - 26 October

  20 October - 26 October

  • Wolfgang Schreiner: General Introduction
  • Taimoor Khan: Report on Marktoberdorf Summer School on Software and Systems Safety: Specification and Verification

  • Select activity Presentation

    

    Presentation File
• Select section 3 November - 9 November

  3 November - 9 November

  • Wolfgang Schreiner: The RISC ProgramExplorer: Second Status Report
    

  • Select activity Presentation

    

    Presentation File