Skip to content
/ RecordFlux Public

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

License

Apache-2.0 license
115 stars 8 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

AdaCore/RecordFlux

Error
Looks like something went wrong!

About

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

Topics

python parser spark communication-protocol formal-methods ada protocol-parser binary-parser formal-verification protocol-specification formal-specification

Resources

Readme

License

Apache-2.0 license

Code of conduct

Code of conduct

Security policy

Security policy
Activity
Custom properties

Stars

115 stars

Watchers

11 watching

Forks

8 forks
Report repository

Releases 28

v0.26.0 Latest
Dec 19, 2024
+ 27 releases

Packages

No packages published

Contributors 11

Languages