Trustworthy Systems

From Hoare logic to Owicki-Gries and rely-guarantee for interruptible eChronos and multicore seL4

Authors

June Andronick

DATA61

UNSW Sydney

Abstract

BibTeX Entry

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

Download