• Separation Kernel Verification: The XtratuM Case Study

    Thumbnail Image

    Files

    SKV-Xtratum-VSTTE14-preprint.pdf (959.38 KB)

    Date

    2014

    Authors

    Journal Title

    Journal ISSN

    Volume Title

    Publisher

    Springer

    Access

    openAccess

    Embargo end date

    Citation

    David Sanan, Andrew Butterfield, Mike Hinchey, Separation Kernel Verification: The XtratuM Case Study, LNCS, Verified Software: Theories, Tools and Experiments, Vienna, July 17-18, 2014, Dimitra Giannakopoulou, Daniel Kroening, Elizabeth Polgreen, Natarajan Shankar, 8471, Springer, 2014, 133 - 149

    Abstract

    Description

    PUBLISHED
    funded by the European Space Agency
    Vienna

    URI

    http://hdl.handle.net/2262/71490

    Collections

    Computer Science (Scholarly Publications)
    RSS Feeds

    Endorsement

    Review

    Supplemented By

    Referenced By

    Keywords

    Author's Homepage: http://people.tcd.ie/butrfeld

    Author: BUTTERFIELD, ANDREW

    Other Titles: LNCS
    Publisher: Springer
    Type of material: Conference Paper