Operating system verification

Authors

Gerwin Klein, Ralf Huuck and Bastian Schlich

NICTA

UNSW

RWTH Aachen University

Abstract

This is the editorial for the JAR special issue on Operating System Verification.

BibTeX Entry

  @article{Klein_HS_09,
    month            = apr,
    paperurl         = {https://ts.data61.csiro.au/publications/nicta_full_text/1811.pdf},
    journal          = {Journal of Automated Reasoning},
    volume           = {42},
    number           = {2-4},
    author           = {Klein, Gerwin and Huuck, Ralf and Schlich, Bastian},
    year             = {2009},
    pages            = {123--124},
    title            = {Operating System Verification}
  }

Download

• Full text
• BibTeX