automate

Ada

Generates Ada code from finite-state machine descriptions using text scripts.

GitHub

8 stars1 forks0 contributors

Overview

Ada finite-state machine generator.

Related Projects

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub

2 years ago

CreatedSince 2017

Built With

A

Ada

Included in

Ada/SPARK821

Auto-fetched 19 hours ago

record-flux

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

Stars127

Forks10

Last commit6 months ago

ajunitgen

Generator of JUnit-compatible XML reports in Ada

Stars1

Forks1

Last commit4 years ago

asn1scc

ASN.1 compiler for embedded systems

Stars1

Forks2

Last commit2 years ago

fmt

Formal Methods Toolkit is a set of extension packages for Mathematica, supporting software. engineering activities related to modeling, verification and Ada code generation

Stars0

Forks0

Last commit