Login / Signup

Proving Memory Separation in a Microkernel by Code Level Verification.

Christoph BaumannThorsten BormerHolger BlasumSergey Tverdyshev
Published in: ISORC Workshops (2011)
Keyphrases
  • levels of abstraction
  • model checking
  • main memory
  • memory requirements
  • formal verification
  • source code
  • higher level
  • computing power
  • databases
  • search engine
  • computational complexity
  • face verification
  • formal methods