C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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