Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Here you can share your experience with the project you are suggesting or its comparison with RecordFlux. Optional.
A valid email to send you a verification link when necessary or log in.