TY  - RPRT
TI  - No Crash, No Exploit: Automated Verification of Embedded Kernels
AU  - Olivier Nicole
AU  - Matthieu Lemerre
AU  - Sébastien Bardin
AU  - Xavier Rival
PY  - 2021
DO  - 10.1109/rtas52030.2021.00011
UR  - https://arxiv.org/abs/2011.15065
ID  - 2011.15065
ER  -