Insights for Practicing Engineers from a Formal Verification Study of the Linux Kernel.

Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi

Browse the full ISSRE paper archive.