Presentation of the paper on ISoLA 2018 conference, "Evaluating Tools for Software Verification" track. Limassol, Cyprus, 6 November 2018.
Efremov D., Mandrykin M., Khoroshilov A. (2018) Deductive Verification of Unmodified Linux Kernel Library Functions. In: Margaria T., Steffen B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Verification. ISoLA 2018. Lecture Notes in Computer Science, vol 11245. Springer, Cham