Seminar "Formal Methods I" (WS 2012/13)

Section outline

• Select section Seminar "Formal Methods I" (WS 2012/13, 326.FM1)

  Seminar "Formal Methods I" (WS 2012/13, 326.FM1)

  Collapse all Expand all

  ---

  Time: Wednesday, 12:30-14:00
  Place: Hagenberg Seminar Room
  Start: October 10, 2012

  If you prefer another time or place (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 10 October - 16 October

  10 October - 16 October

  • Wolfgang Schreiner: Introduction and Organization.
  • Taimoor Khan: On the Formal Specication and Verication of MiniMaple Programs (PhD thesis progress report)
• Select section 17 October - 23 October

  17 October - 23 October

  • Wolfgang Schreiner: Tutorial on SMT Solving

  • Select activity Satisfiability Modulo Theories: An Appetizer

    

    Satisfiability Modulo Theories: An Appetizer File
  • Select activity The Nelson-Oppen Method for Combining Special Theorem Provers

    

    The Nelson-Oppen Method for Combining Special Theorem Provers File
  • Select activity Decision Procedures: An Algorithmic Point of View

    

    Decision Procedures: An Algorithmic Point of View URL
  • Select activity SMT-LIB

    

    SMT-LIB URL
  • Select activity SMT-COMP 2012

    

    SMT-COMP 2012 URL
• Select section 24 October - 30 October

  24 October - 30 October

  • Mykola Skrypskyj: Presentation of Phd Topic

  • Select activity Cloud Computing for Simulations of Dissemination Pollutants from Industrial Enterprises

    

    Cloud Computing for Simulations of Dissemination Pollutants from Industrial Enterprises File
• Select section 5 December - 11 December

  5 December - 11 December

  • Temur Kutsia: Unranked Anti-Unification and its Application in Software Code Clone Detection

  • Select activity Slides

    

    Slides File
• Select section 12 December - 18 December

  12 December - 18 December

  • Taimoor Khan: Progress of Phd Thesis
• Select section 9 January - 15 January

  9 January - 15 January

  • Wolfgang Schreiner: Generating Network Monitors from Logic Specifications
• Select section 30 January - 5 February

  30 January - 5 February

  • Rachel Sun: results of Master Thesis.