notesum.ai
Published at December 10Formally 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

| Bit-Level Operations | |
| Encoding Functions | Decoding Functions |
| appendBit, appendBitOne, appendBitZero | readBit |
| appendNBits, appendNZeroBits, appendNOneBits | readBits |
| appendBitFromByte | readBit |
| appendBitsLSBFirst | readNBitsLSBFirst |
| appendLSBBitsMSBFirst | readNLSBBitsMSBFirst |
| appendBitsMSBFirst | readBits, peekBit |
| Byte-Level Operations | |
| appendPartialByte | readPartialByte |
| appendByte | readByte |
| appendByteArray | readByteArray |