Please be aware that some listings have been temporarily delisted from our marketplace in order to improve the security of the platform. We apologize for any inconvenience this may caused.
For more information on this matter, please visit #1.
If you are a listing owner and would like to have your listing(s) reinstated, please open a ticket at https://gitlab.eclipse.org/eclipsefdn/it/websites/marketplace.eclipse.org/-/issues.
Thank you for your understanding and cooperation.
1236 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...
Last Updated on Wednesday, April 27, 2022 - 08:44 by Angelo Gargantini
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, December 14, 2022 - 09:48 by Marcel Dausend