Skip to main content

Reasoning about concurrency in high-assurance, high-performance software systems

Authors

June Andronick

DATA61

Abstract

We describe our work in the Trustworthy Systems group at Data61 (formerly NICTA) in reasoning about concurrency in high- assurance, high-performance software systems, in which concurrency may come from three different sources: multiple cores, interrupts and application-level interleaving.

BibTeX Entry

  @inproceedings{Andronick_17,
    publisher        = {Springer},
    booktitle        = {Conference on Automated Deduction (CADE)},
    author           = {Andronick, June},
    month            = aug,
    editor           = {{Leonardo de Moura}},
    year             = {2017},
    date             = {2017-8-6},
    title            = {Reasoning about Concurrency in High-Assurance, High-Performance Software Systems},
    pages            = {1--7},
    address          = {Gothenburg}
  }

Download

Served by Apache on Linux on seL4.