1643 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 ...
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 Tuesday, April 24, 2018 - 14:46 by Angelo Gargantini
Last Updated on Tuesday, April 24, 2018 - 14:44 by Marcel Dausend
Back to the top