Skip to main content

TS

From hoare logic to owicki-gries and rely-guarantee for interruptible eChronos and multicore seL4

Authors

June Andronick

DATA61

Abstract

BibTeX Entry

  @inproceedings{Andronick_17_2,
    publisher        = {Springer},
    booktitle        = {International Colloquium on Theoretical Aspects of Computing (ICTAC)},
    author           = {Andronick, June},
    month            = oct,
    editor           = {{Dang Van Hung and Deepak Kapur}},
    year             = {2017},
    date             = {2017-10-23},
    title            = {From Hoare Logic to Owicki-Gries and Rely-Guarantee for Interruptible {eChronos} and Multicore
                        {seL4}},
    pages            = {XIII-XV},
    address          = {Hanoi, Vietnam}
  }

Download

Served by Apache on Linux on seL4.