A Provably Correct Embedded Verifier for the Certification of Safety Critical Software
Abstract elided by the publisher.
Related papers
- Experience report: using objective caml to develop safety-critical embedded tools in a certification framework ICFP 2009
- ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER CPP 2023
- Formal certification of a compiler back-end or: programming a compiler with a proof assistant POPL 2006
- Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints CAV 2023
- AVR: Abstractly Verifying Reachability TACAS 2020
- Discussion of aviation software oversight improvement Onward! 2020
- The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software SAS 2018
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems CAV 2013