Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
No abstract available.
DOI 10.1007/978-3-031-82703-7_9
Related papers
- Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System CAV 2018
- ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER CPP 2023
- Automatic Generation and Validation of Instruction Encoders and Decoders CAV 2021
- Every bit counts: The binary representation of typed data and programs JFP 2012
- Functional pearl: every bit counts ICFP 2010
- A verified protocol buffer compiler CPP 2019
- Static Analysis of String Encoders and Decoders VMCAI 2013
- Narcissus: correct-by-construction derivation of decoders and encoders from binary formats ICFP 2019