Download coreasm-util JAR file with all dependencies

coreasm-util from group de.athalis.coreasm (version 1.7.3-locke-6)

This is a fork of the CoreASM project from https://github.com/coreasm/coreasm.core The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification (where appropriate) of abstract system models.

Group: de.athalis.coreasm Artifact: coreasm-util
Show documentation Show source

0 downloads

Artifact coreasm-util
Group de.athalis.coreasm
Version 1.7.3-locke-6
Last update 22. November 2022
Tags: appropriate project focuses language experimental high coreasm lean design from where https state supporting validation verification combination models github level this abstract executable tool formal core with fork environment system machines
Organization not specified
URL https://github.com/Locke/coreasm.core/coreasm-util
License Academic Free License 3.0
Dependencies amount 1
Dependencies slf4j-api,
There are maybe transitive dependencies!

Page 1 from 1 (items total 1)