Seminar Formal Methods (WS 2021/22)
Table of Content
ContentCurrent 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.
Prerequisites CurriculumSee position in the curriculum
ObjectiveThorough understanding of one current research topic.
Teaching MethodBased on current papers or a textbook, students will make seminar style presentations and hold discussions.
How to get a gradeActive participation at discussions and own presentation.
RegistrationRegistration 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=983