Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Pascal to Ada translator
- ada
- pascal
- translator
- ada-language
Ada finite-state machine generator.