RT @KuniSuzaki: メモ LinuxのRuntime Verification (RV)関連論文 Efficient Formal Verification for the Linux Kernel, SEFM 2019: Software Engineering…
283 followers
615 followers
RT @KuniSuzaki: メモ LinuxのRuntime Verification (RV)関連論文 Efficient Formal Verification for the Linux Kernel, SEFM 2019: Software Engineering…
257 followers
Categorized: https://t.co/vJQx8vkXdE
1,852 followers
メモ LinuxのRuntime Verification (RV)関連論文 Efficient Formal Verification for the Linux Kernel, SEFM 2019: Software Engineering and Formal Methods pp 315–332 Daniel Bristot de Oliveira, Tommaso Cucinotta & Rômulo Silva de Oliveira https://t.co/w6yKjlLECc