Login / Signup

A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C.

Allan BlanchardNikolai KosmatovMatthieu LemerreFrédéric Loulergue
Published in: FMICS (2015)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • virtual machine
  • bounded model checking
  • operating system
  • case study
  • automated verification
  • symbolic model checking
  • test bed
  • virtual memory
  • temporal logic