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: 2025-06 (4.36), 2025-03 (4.35), 2024-12 (4.34), 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)
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, July 14, 2025 - 03:49
Submitted by: Angelo Gargantini
| Date | Ranking | Installs | Clickthroughs |
|---|---|---|---|
| December 2025 | 0/0 | 0 | 6 |
| November 2025 | 0/0 | 0 | 12 |
| October 2025 | 558/637 | 2 | 13 |
| September 2025 | 549/653 | 2 | 12 |
| August 2025 | 529/615 | 2 | 18 |
| July 2025 | 0/0 | 0 | 11 |
| June 2025 | 552/627 | 2 | 19 |
| May 2025 | 604/634 | 1 | 14 |
| April 2025 | 546/623 | 2 | 15 |
| March 2025 | 390/661 | 16 | 10 |
| February 2025 | 569/645 | 2 | 20 |
| January 2025 | 614/654 | 1 | 20 |
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:
