Login / Signup

Efficient Formal Verification for the Linux Kernel.

Daniel Bristot de OliveiraTommaso CucinottaRômulo Silva de Oliveira
Published in: SEFM (2019)
Keyphrases
  • formal verification
  • linux kernel
  • model checking
  • symbolic model checking
  • source code
  • operating system
  • databases
  • high level
  • software systems