Reasoning About Concurrency in High-Assurance, High-Performance Software Systems
Lecture Notes in Artificial Intelligence, pp. 1-7, 2017.
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.
Full Text (Upload PDF)
PPT (Upload PPT)