EASN: Integrating ASN.1 and Model Checking
Abstract elided by the publisher.
Related papers
- ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER CPP 2023
- Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study VMCAI 2025
- Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System CAV 2018
- An Integration of Model Checking with Automated Proof Checking CAV 1995
- Integration in PVS: Tables, Types, and Model Checking TACAS 1997
- Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols CAV 1998
- Integrating Model Checking into a Live Modeling Environment SLE 2025
- A verified protocol buffer compiler CPP 2019