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

Olivier Nicole Matthieu Lemerre Sébastien Bardin Xavier Rival

Published in: CoRR (2020)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
kernel function
feature space
temporal logic
linear combination
data sets
expert systems
embedded systems
graph theory
genetic algorithm
programming language
real time
gaussian kernel
positive definite