RAWG Meeting: Formal Methods and Verification¶
2024-12-09
Links¶
Indico¶
Minutes¶
Topics and contributions¶
-
PLCverif Extension: Verifying LTL Properties via Monitor Generation (X. Fink)
-
𝜇CFI: Formal Verification of Microarchitectural Control-flow Integrity (K. Ceesay-Seitz)
Actions¶
No action for this meeting.