recordflux (pypi): A toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines.
Keywords: ada|binary-parser|communication-protocol|formal-methods|formal-specification|formal-verification|parser|protocol-parser|protocol-specification|python|spark