Deductive Verification of Unmodified Linux Kernel Library Functions.

Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov

Browse the full ISoLA paper archive.