Software Construction and Analysis Tools for Future Space Missions
Abstract elided by the publisher.
Related papers
- Precise and efficient static array bound checking for large embedded C programs PLDI 2004
- High-level mission specification for multiple robots SLE 2019
- Evaluation and usability of programming languages and tools: (PLATEAU) Onward! 2011
- Galois: high assurance software ICFP 2004
- HLola: a Very Functional Tool for Extensible Stream Runtime Verification TACAS 2021
- Change Cases: Use Cases that Identify Future Requirements OOPSLA 1996
- SVF-SVC: Software Verification Using SVF (Competition Contribution) TACAS 2025
- The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software SAS 2018