RecordFlux Language Reference RecordFlux is a toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines.RecordFlux Language Reference live docs »