AdaCore / RecordFluxView on GitHub
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
122Jan 7, 2026Updated last month

Alternatives and similar repositories for RecordFlux

Users that are interested in RecordFlux are comparing it to the libraries listed below

Sorting:

Are these results useful?