Deductive Verification of Unmodified Linux Kernel Library Functions.

Denis Efremov Mikhail U. Mandrykin Alexey V. Khoroshilov

Published in: ISoLA (2) (2018)

Keyphrases

linux kernel
source code
operating system
software systems
clone detection
data sets
model checking
formal verification
neural network
machine learning
basis functions
graph matching
asynchronous circuits