Skip to main content
CSIRO Logo Data 61 logo

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,
    author           = {Andronick, June},
    editor           = {{Dang Van Hung and Deepak Kapur}},
    month            = oct,
    date             = {2017-10-23},
    year             = {2017},
    title            = {From {Hoare} Logic to {Owicki-Gries} and Rely-Guarantee for Interruptible {eChronos} and Multicore
                        {seL4}},
    address          = {Hanoi, Vietnam},
    pages            = {XIII-XV},
    booktitle        = {International Colloquium on Theoretical Aspects of Computing (ICTAC)},
    paperurl         = {https://ts.data61.csiro.au/publications/csiro_full_text//Andronick_17_2.pdf},
    publisher        = {Springer}
  }

Download