@article{Klein_09,
    author           = {Klein, Gerwin},
    journal          = {Sadhana},
    keywords         = {formal software verification, operating systems, theorem proving},
    month            = feb,
    number           = {1},
    pages            = {26--69},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/955.pdf},
    title            = {Operating System Verification --- An Overview},
    volume           = {34},
    year             = {2009}
  }