1720 Solutions and counting.
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...
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...
Last Updated on Friday, January 24, 2020 - 10:16 by Angelo Gargantini
Last Updated on Monday, February 4, 2019 - 13:54 by Marcel Dausend