Trustworthy Systems

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},
    journal          = {Journal of Automated Reasoning},
    month            = apr,
    number           = {2-4},
    pages            = {123--124},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1811.pdf},
    title            = {Operating System Verification},
    volume           = {42},
    year             = {2009}
  }

Download