Klever: Enabling Model Checking for the Linux Kernel
User documentation
03/06/2020
Evgeny Novikov. Klever: Enabling Model Checking for the Linux Kernel. ELISA Webinar series. May 27, 2019.
User documentation
03/06/2020
Evgeny Novikov. Klever: Enabling Model Checking for the Linux Kernel. ELISA Webinar series. May 27, 2019.
| Klever_ Enabling Model Checking for the Linux Kernel.pdf (252 KB) Klever_ Enabling Model Checking for the Linux Kernel.pdf | Evgeny Novikov, 03/06/2020 01:58 PM |