Documents
User documentation
Verification of Operating System Monolithic Kernels Without Extensions
E. Novikov, I. Zakharov. Verification of Operating System Monolithic Kernels Without Extensions. In: Margaria T., Steffen B. (eds) Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. Industrial Practice (ISoLA’18), LNCS, volume 11247, pp. 230–248. Springer, Cham. 2018. https://doi.org/10.1007/978-3-030-03427-6_19...
Klever: Enabling Model Checking for the Linux Kernel
Evgeny Novikov. Klever: Enabling Model Checking for the Linux Kernel. ELISA Webinar series. May 27, 2019.
Towards automated static verification of GNU C programs
E. Novikov, I. Zakharov. Towards automated static verification of GNU C programs. In: Petrenko A., Voronkov A. (eds) Proceedings of the 11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI’17), LNCS, volume 10742, pp. 402–416. Cham, Springer, 2018. https://doi.org/10.1007/978-3-319-74313-4_30....