notesum.ai

Published at December 10

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

cs.SE
cs.PL

Released Date: December 10, 2024

Authors: Mario Bucev1, Samuel Chassot1, Simon Felix2, Filip Schramka2, Viktor Kunčak

Aff.: 1EPFL IC LARA, Lausanne, Switzerland; 2Ateleris GmbH, Brugg, Switzerland

Arxiv: http://arxiv.org/pdf/2412.07235v1