Project

General

Profile

Documents

2020-03-06

Verification of Operating System Monolithic Kernels Without Extensions

03/06/2020 01:56 PM

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

03/06/2020 01:58 PM

Evgeny Novikov. Klever: Enabling Model Checking for the Linux Kernel. ELISA Webinar series. May 27, 2019.

Towards automated static verification of GNU C programs

03/06/2020 01:49 PM

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....