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 |
|---|---|---|---|
| May 2024 | 0/0 | 0 | 0 |
| April 2024 | 621/687 | 2 | 13 |
| March 2024 | 472/694 | 10 | 17 |
| January 2024 | 476/691 | 8 | 16 |
| December 2023 | 590/671 | 2 | 9 |
| 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 |
Marketplace Drag to Install Button
By adding the following code below to your website you will be able to add an install button for Asmeta.
HTML Code:
Markdown Syntax:
Output:
