Seminar Formal Methods and Automated Reasoning I (WS 2022/23)

Abschnittsübersicht

• Abschnitt Allgemeines auswählen

  Allgemeines

  Alles einklappen Alles aufklappen

  326.063, Tuesday 16:15-17:45, Room: S3 057, Start: October 11, 2022

  
  

  The seminar may (partially) take place online in the following Zoom meeting:
  

  https://jku.zoom.us/j/99585313716?pwd=L0x4OTgwbC9iVS9Gb3lxY25xS0Ywdz09
  Meeting-ID: 995 8531 3716 Password: ..fmsem
  

  This seminar discusses techniques and tools for formal methods and/or automated reasoning such as formal specification languages, program verification systems, model checkers, interactive proof assistants, automated theorem provers, satisfiability solvers, decision procedures, etc. It continues the (previously separated) seminars on formal methods and automated reasoning (Theorema).

  You have to create an account in this Moodle instance and self-register as a course participant (link "Enrol me in this course" at the top). Then you receive per email all messages posted in the "Announcements" forum and may yourself post messages in the "Questions and Answers" forum.

  • Aktivität Announcements auswählen

    

    Announcements Forum
  • Aktivität Questions and Answers auswählen

    

    Questions and Answers Forum
• Abschnitt October 11, 2022: Zoom auswählen

  October 11, 2022: Zoom

  • Contents and organization: this issue of the seminar takes place online in Zoom only (see the link above)
    
• Abschnitt Thursday, November 10, 16:15, Zoom auswählen

  Thursday, November 10, 16:15, Zoom

  • Ágoston Sütő: Master Thesis Presentation
    

  • Aktivität Verification of non-deterministic systems using model checking in RISCAL auswählen

    

    Verification of non-deterministic systems using model checking in RISCAL Datei PDF
• Abschnitt Tuesday, December 6, 17:15, S3 057 auswählen

  Tuesday, December 6, 17:15, S3 057

  • Viktoria Langenreither: Master Thesis Presentation
    

  • Aktivität A Saturation-Based Automated Theorem Prover for RISCAL auswählen

    

    A Saturation-Based Automated Theorem Prover for RISCAL Datei PDF
• Abschnitt Tuesday, December 13, 17:15, S3 057 auswählen

  Tuesday, December 13, 17:15, S3 057

  • Georg Ehling: PhD Thesis Presentation
    
• Abschnitt Thursday, January 26, 16:15 (Zoom) auswählen

  Thursday, January 26, 16:15 (Zoom)

  • Joachim Borya: Bachelor Thesis Presentation
    

  • Aktivität Formalisation of Relational Algebra and a SQL-like Language with the RISCAL Model Checker auswählen

    

    Formalisation of Relational Algebra and a SQL-like Language with the RISCAL Model Checker Datei PDF