Trustworthy Systems

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


June Andronick


UNSW Sydney


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

    address          = {Gothenburg},
    author           = {Andronick, June},
    booktitle        = {International Conference on Automated Deduction},
    date             = {2017-8-6},
    doi              = {\_1},
    editor           = {{Leonardo de Moura}},
    month            = aug,
    pages            = {1--7},
    paperurl         = {},
    publisher        = {Springer},
    title            = {Reasoning about Concurrency in High-Assurance, High-Performance Software Systems},
    year             = {2017}