Verification of Operating System Monolithic Kernels Without Extensions.

Evgeny Novikov, Ilja S. Zakharov

Browse the full ISoLA paper archive.