1729 Solutions and counting.
Asmeta is a framework for Abstract State Machines. This plugin enables:
Asmee: a graphical IDE which allows to edit, manipulate, and simulate Asmeta models
AsmetaSMV: a model checker for As...
The CoreASM Modeling Framework
CoreASM is an open source project that focuses on offering a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environm...
Last Updated on Monday, April 20, 2020 - 13:15 by Angelo Gargantini
Last Updated on Monday, February 4, 2019 - 13:54 by Marcel Dausend