Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
python
parser
spark
communication-protocol
formal-methods
ada
protocol-parser
binary-parser
formal-verification
protocol-specification
formal-specification
-
Updated
Sep 20, 2024 - Ada