35 followers
"Deductive Verification of Unmodified Linux Kernel Library Functions" for "Evaluating Tools for Software Verification" track at ISoLA 2018. https://t.co/ZQRqKQL3xH @isp_ras @SU_HSE D Efremov, M Mandrykin, A Khoroshilov #FramaC #Why3
"Deductive Verification of Unmodified Linux Kernel Library Functions" for "Evaluating Tools for Software Verification" track at ISoLA 2018. https://t.co/ZQRqKQL3xH @isp_ras @SU_HSE D Efremov, M Mandrykin, A Khoroshilov #FramaC #Why3
Deductive Verification of Unmodified Linux Kernel Library Functions. https://t.co/hC6YUBvfhQ