2IMF00 (2023-GS2) Seminar formal system analysis