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: 2024-09 (4.33), 2024-06 (4.32), 2024-03 (4.31), 2023-12 (4.30), 2023-09 (4.29), 2023-06 (4.28), 2023-03 (4.27), 2024-12 (4.34), 2025-03 (4.35)
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: Monday, September 9, 2024 - 17:14
Submitted by: Angelo Gargantini
| Date | Ranking | Installs | Clickthroughs |
|---|---|---|---|
| March 2025 | 376/649 | 15 | 8 |
| February 2025 | 569/645 | 2 | 20 |
| January 2025 | 614/654 | 1 | 20 |
| December 2024 | 0/0 | 0 | 14 |
| November 2024 | 620/658 | 1 | 17 |
| October 2024 | 568/663 | 2 | 10 |
| September 2024 | 444/642 | 11 | 13 |
| August 2024 | 588/641 | 2 | 14 |
| July 2024 | 0/0 | 0 | 17 |
| June 2024 | 0/0 | 0 | 19 |
| May 2024 | 543/682 | 5 | 20 |
| April 2024 | 621/687 | 2 | 13 |
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:
