Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
47,133 repositories indexed
1–2 of 2 · Most stars
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...