High-Assurance Refactoring Project
Popular repositories
-
-
-
erlang-semantics
erlang-semantics PublicExecutable formal semantics for a subset of the Erlang programming language defined in the K Framework
-
Repositories
Showing 10 of 11 repositories
-
- Core-Erlang-Formalization Public
- AML-Formalization Public
- Core-Erlang-mini Public
- Semantics-comparison Public
- erlang-semantics-testing Public
This project implements property-based cross-testing for formal semantics of Erlang (defined in the K framework), Core Erlang (defined in Coq).
- erlang-semantics Public
Executable formal semantics for a subset of the Erlang programming language defined in the K Framework
-
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…