1655 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 Thursday, August 23, 2018 - 15:14 by Angelo Gargantini
Last Updated on Thursday, August 23, 2018 - 15:08 by Marcel Dausend
Back to the top