Login / Signup

Applying formal verification to microkernel IPC at meta.

Quentin CarbonneauxNoam ZilbersteinChristoph KleePeter W. O'HearnFrancesco Zappa Nardelli
Published in: CPP (2022)
Keyphrases
  • formal verification
  • model checking
  • bounded model checking
  • model checker
  • symbolic model checking
  • automated verification
  • functional verification
  • orders of magnitude
  • program slicing