Reasoning About Concurrency in High-Assurance, High-Performance Software Systems

Lecture Notes in Artificial Intelligence, pp. 1-7, 2017.

Cited by: 0|Bibtex|Views23|DOI:https://doi.org/10.1007/978-3-319-63046-5_1
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com

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:

Your rating :
0

 

Tags
Comments