Efficient Formal Verification for the Linux Kernel.

Daniel Bristot de Oliveira, Tommaso Cucinotta, Rmulo Silva de Oliveira

Browse the full SEFM paper archive.