A Memory Model for Deductively Verifying Linux Kernel Modules.

Mikhail U. Mandrykin Alexey V. Khoroshilov

Published in: Ershov Informatics Conference (2017)

Keyphrases

management system
cost function
computational model
statistical model
formal model
linux kernel
data sets
high level
theoretical analysis
database
objective function
probabilistic model
parameter estimation
mathematical model