DATA61
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.
@inproceedings{Andronick_17, pages = {1--7}, publisher = {Springer}, doi = {https://doi.org/10.1007/978-3-319-63046-5\_1}, month = aug, paperurl = {https://trustworthy.systems/publications/csiro_full_text/Andronick_17.pdf}, booktitle = {International Conference on Automated Deduction}, year = {2017}, editor = {{Leonardo de Moura}}, title = {Reasoning about Concurrency in High-Assurance, High-Performance Software Systems}, author = {Andronick, June}, address = {Gothenburg}, date = {2017-8-6} }