Solution Description
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 Asmeta models based on NuSMV
- AsmetaMA: a model advisor for Asmeta models
- AsmetaV: a scenario-based validator for Asmeta models
- AsmetaVis: a visualizer for Asmeta models
- AsmetaA: an animator for Asmeta models executions
Additional Details
Eclipse Versions: 2020-06 (4.16), 2020-03 (4.15), 2019-12 (4.14), 2019-09 (4.13), 2019-06 (4.12), 2019-03 (4.11), 2018-12 (4.10), 2018-09 (4.9), Photon (4.8), Oxygen (4.7), 2020-09 (4.17), 2020-12 (4.18), 2021-03 (4.19)
Platform Support: Windows, Mac, Linux/GTK
Organization Name: FMSE Lab UniMI and UniBG
Development Status: Production/Stable
Date Created: Tuesday, January 13, 2015 - 06:41
License: EPL
Date Updated: Thursday, June 15, 2023 - 04:17
Submitted by: Angelo Gargantini
Date | Ranking | Installs | Clickthroughs |
---|---|---|---|
December 2023 | 0/0 | 0 | 3 |
November 2023 | 589/686 | 3 | 8 |
October 2023 | 0/0 | 0 | 10 |
September 2023 | 0/0 | 0 | 11 |
August 2023 | 605/673 | 2 | 8 |
July 2023 | 0/0 | 0 | 16 |
June 2023 | 515/669 | 6 | 13 |
May 2023 | 525/671 | 7 | 19 |
April 2023 | 638/667 | 1 | 19 |
March 2023 | 465/686 | 15 | 31 |
February 2023 | 644/667 | 1 | 18 |
January 2023 | 0/0 | 0 | 10 |