Formal verification of spacecraft control programs (experience report)-Reference-Cited by-同舟云学术

Formal verification of spacecraft control programs (experience report)

Published:2019 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019
language:
Short-container-title:

Author:

Mokhov Andrey¹,Lukyanov Georgy¹,Lechner Jakob²

Affiliation:

1. Newcastle University, UK

2. RUAG Space, Austria

Publisher

ACM Press

Reference19 articles.

1. Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. Norton, Prashanth Mundkur, Mark Wassell, Jon French, Christopher Pulte, Shaked Flur, Ian Stark, Neel Krishnaswami, and Peter Sewell. 2019. ISA Semantics for ARMv8-a, RISC-v, and CHERI-MIPS. Proc. ACM Program. Lang. 3, POPL, Article 71 (Jan. 2019), 31 pages.

2. Mordechai Ben-Ari. 2001. The Bug That Destroyed a Rocket. SIGCSE Bull. 33, 2 (June 2001), 58–59.

3. Edwin Brady. 2013. Idris, a general-purpose dependently typed programming language: Design and implementation. Journal of Functional Programming 23 (9 2013), 552–593. Issue 05.

4. David Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, and Sreeranga Rajan. 2006. Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions. International Journal of Parallel Programming 34, 1 (2006), 61–91.

5. Leonardo De Moura and Nikolaj Bjørner. 2008. Z3: An efficient SMT solver. Tools and Algorithms for the Construction and Analysis of Systems (2008), 337–340.

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

1. Formal Verification of Spacecraft Control Programs;ACM Transactions on Embedded Computing Systems;2020-11-13

2. Efficient Static Analysis of Marlowe Contracts;Lecture Notes in Computer Science;2020