Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study

Mario Bucev, Samuel Chassot, Simon Felix +2

We propose a verified executable Scala backend for ASN1SCC, a compiler for ASN.1/ACN. ASN.1 is a language for describing data structures widely employed in ground and space telecom…