Seminar Formal Methods and Automated Reasoning II (SS 2023)
Abschnittsübersicht
-
326.099, Tuesday 16:15-17:45, Room: MT 327, Start: March 7, 2023The 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).
To participate in the course, you have to register in the KUSSS System. If you also create an account in the RISC Moodle (press the button "Create new account", you have to register with your jku.at email address) and self-enrol in this course (press the button "Enrol me"), you also receive all messages posted in the course forums per email.
-
- Introduction and Organization
- Introduction and Organization
-
- Joachim Borya: Status report on bachelor thesis
- Viktoria Langenreither: Status report on master's thesis
- Wolfgang Schreiner: Update report on RISCTP software
- Joachim Borya: Status report on bachelor thesis
-
- Temur Kutsia: Symbolic Constraints and Quantitative Extensions of Equality
- Temur Kutsia: Symbolic Constraints and Quantitative Extensions of Equality
-
- Georg Ehling: Matching in Quantitative Equational Theories
- Georg Ehling: Matching in Quantitative Equational Theories
-
- Viktoria Langenreither: Status report on master's thesis
- Wolfgang Schreiner: Model elimination in RISCTP