Deductive Verification of Unmodified Linux Kernel Library Functions.

Denis Efremov Mikhail U. Mandrykin Alexey V. Khoroshilov

Published in: CoRR (2018)

Keyphrases

linux kernel
operating system
clone detection
software systems
source code
analysis tool
database
artificial intelligence
information systems
multi agent systems
object oriented
file system
verification method
data sets
open source
neural network
face verification
formal verification