Asmeta

Add this URL to your Eclipse Installation to reach this solution's update site.

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)

https://raw.githubusercontent.com/asmeta/asmeta_update_site/master

Learn more...
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

Categories: Editor, Modeling

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
June 2024 0/0 0 15
May 2024 543/682 5 20
April 2024 621/687 2 13
March 2024 472/694 10 17
February 2024 0/0 0 16
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
View Data for all Listings

Unsuccessful Installs

Unsuccessful Installs in the last 7 Days: 0

Download last 500 errors (CSV)

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:

Drag to your running Eclipse* workspace. *Requires Eclipse Marketplace Client