Complx: a verification framework for concurrent imperative programs-Reference-Cited by-同舟云学术

Complx: a verification framework for concurrent imperative programs

Published:2017-01-16 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
language:
Short-container-title:

Author:

Amani Sidney¹,Andronick June²,Bortin Maksym¹,Lewis Corey¹,Rizkallah Christine³,Tuong Joseph¹

Affiliation:

1. Data61 at CSIRO, Australia

2. Data61 at CSIRO, Australia / UNSW, Australia

3. University of Pennsylvania, USA / Data61 at CSIRO, Australia

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3018610.3018627

Reference24 articles.

1. A Framework for the Verification of Certifying Computations

2. Cogent

3. Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System

4. Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency

5. A. W. Appel . Verified software toolchain. In A. Goodloe and S. Person editors NASA Formal Methods - 4th International Symposium NFM 2012 Norfolk VA USA April 3-5 2012. Proceedings volume 7226 of Lecture Notes in Computer Science page 2 . Springer 2012. 10.1007/978-3-642-28891-3_2 A. W. Appel. Verified software toolchain. In A. Goodloe and S. Person editors NASA Formal Methods - 4th International Symposium NFM 2012 Norfolk VA USA April 3-5 2012. Proceedings volume 7226 of Lecture Notes in Computer Science page 2. Springer 2012. 10.1007/978-3-642-28891-3_2

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Fine-Grained Semantics for Arrays and Pointers Under Weak Memory Models;Formal Methods;2023

2. Cogent: uniqueness types and certifying compilation;Journal of Functional Programming;2021

3. Formal Modelling and Verification of Spinlocks at Instruction Level;2019 26th Asia-Pacific Software Engineering Conference (APSEC);2019-12

4. Verifying concurrent, crash-safe systems with Perennial;Proceedings of the 27th ACM Symposium on Operating Systems Principles;2019-10-27

5. Reasoning About Concurrency in High-Assurance, High-Performance Software Systems;Automated Deduction – CADE 26;2017