No Crash, No Exploit: Automated Verification of Embedded Kernels.

Olivier Nicole Matthieu Lemerre Sébastien Bardin Xavier Rival

Published in: RTAS (2021)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
kernel function
kernel methods
machine learning
feature space
linear combination
neural network
learning algorithm
support vector
multiresolution
temporal logic
theorem prover
multiple kernel learning