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

Mario Bucev, Samuel Chassot, Simon Felix, Filip Schramka, Viktor Kuncak

Browse the full VMCAI paper archive.