Reasoning About Concurrency in High-Assurance, High-Performance Software Systems
Lecture Notes in Artificial Intelligence, pp. 1-7, 2017.
EI
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.
Code:
Data:
Tags
Comments