CoGENT-Reference-Cited by-同舟云学术

CoGENT

Published:2016-03-25 Issue:2 Volume:50 Page:175-188
ISSN:0163-5980
Container-title:ACM SIGOPS Operating Systems Review
language:en
Short-container-title:SIGOPS Oper. Syst. Rev.

Author:

Amani Sidney¹,Sewell Thomas¹,Tuong Joseph¹,Keller Gabriele¹,Murray Toby¹,Klein Gerwin¹,Heiser Gernot¹,Hixon Alex¹,Chen Zilin¹,Rizkallah Christine¹,Chubb Peter¹,O'Connor Liam¹,Beeren Joel¹,Nagashima Yutaka¹,Lim Japheth¹

Affiliation:

1. Data61 and UNSW, Sydney, Australia

Publisher

Association for Computing Machinery (ACM)

Reference52 articles.

1. Alkassar, E., Hillebrand, M., Leinenbach, D., Schirmer, N., Starostin, A., and Tsyban, A. Balancing the load -- leveraging a semantics stack for systems verification. Journal of Automated Reasoning: Special Issue on Operating System Verification 42, Numbers 2--4 (2009), 389--454.

2. Alkassar, E., Paul, W., Starostin, A., and Tsyban, A. Pervasive verification of an OS microkernel: Inline assembly, memory consumption, concurrent devices. In Proceedings of Verified Software: Theories, Tools and Experiments 2010 (Edinburgh, UK, Aug. 2010), vol. 6217 of Lecture Notes in Computer Science, pp. 71--85.

3. Amani, S., and Murray, T. Specifying a realistic file system. In Workshop on Models for Formal Analysis of Real Systems (Suva, Fiji, Nov. 2015), pp. 1--9.

4. Andronick, J. Formally Proved Anti-tearing Properties of Embedded C Code. In Proceedings of Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Paphos, Cyprus, Nov. 2006), pp. 129--136. Invited Speaker.

5. Arkoudas, K., Zee, K., Kuncak, V., and Rinard, M. C. Verifying a file system implementation. In Proceedings of the 6th International Conference on Formal Engineering Methods (Seattle, WA, USA, Nov. 2004), vol. 3308 of Lecture Notes in Computer Science, pp. 373--390.

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

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

2. Bridging Arrays and ADTs in Recursive Proofs;Tools and Algorithms for the Construction and Analysis of Systems;2021

3. Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System;Logic, Computation and Rigorous Methods;2021

4. Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch;Lecture Notes in Computer Science;2020

5. Extracting and Optimizing Formally Verified Code for Systems Programming;Lecture Notes in Computer Science;2019