1612 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 Wednesday, May 17, 2017 - 10:25 by Angelo Gargantini
Last Updated on Monday, November 7, 2016 - 14:18 by Marcel Dausend
Back to the top