Formal Verification

品川研究室の中島諒さんが、国際会議 The European Conference on Computer Systems 2024 (EuroSys 2024) でポスター発表をしました。