Formal message specification and generation of verifiable binary parsers and message generators - View it on GitHub