Seminar Formal Methods (WS 2021/22)

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 curriculum

Objective

Thorough understanding of one current research topic.

Language

English

Teaching 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=983

Lecturers