The SEA Language
The Specifying Evolving Algebra (SEA) Language is a rigorous state-based method to formalize, simulate, and translate abstract state machine specifications.
Get started The Specifying Evolving Algebra (SEA) Language is a rigorous state-based method to formalize, simulate, and translate abstract state machine specifications.
Get startedA rust-based open-source GitHub project available in v0.6.0 and MPL-2.0 License.