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

Download

• Full text
• BibTeX