Seminar Formal Methods (WS 2021/22)
Table of Content
Content
Current research topics in formal methods, (e.g., model checking, verification, decision procedures, logic synthesis, property synthesis, etc.), and applications of formal methods to security and artificial intelligence.Administrative Information
Previous Knowledge
Prerequisites Curriculum
See position in the curriculumObjective
Thorough understanding of one current research topic.Language
EnglishTeaching Method
Based on current papers or a textbook, students will make seminar style presentations and hold discussions.How to get a grade
Active participation at discussions and own presentation.Registration
Registration and participation are possible at any time, also during the semester or holidays. Please contact the lecturer Prof. Roderick Bloem. https://online.tugraz.at/tug_online/sa.gruppen_einteilung?clvnr=257722&corg=983Lecturers

Bloem
Professor