Skip to main content

TS

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,
    journal          = {Journal of Automated Reasoning},
    author           = {Klein, Gerwin and Huuck, Ralf and Schlich, Bastian},
    number           = {2-4},
    month            = apr,
    volume           = {42},
    year             = {2009},
    title            = {Operating System Verification},
    pages            = {123-124}
  }

Download

Served by Apache on Linux on seL4.
Served by Apache on Linux on seL4.