Asmeta

Details Group Tabs

Details

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

Categories:

Tags:

Additional Details

Eclipse Versions:

Oxygen (4.7), Neon (4.6), Mars (4.5), Luna (4.4), Kepler (4.3), Juno (4.2, 3.8), Previous to Juno (<=4.1)

Platform Support:

Windows, Mac, Linux/GTK

Organization Name:

Date Created:

Tue, 2015-01-13 06:41

Development Status:

Production/Stable

License:

EPL

Date Updated:

Wed, 2017-05-17 10:25

Submitted by:

Metrics

Date	Ranking	Installs	Clickthroughs
July 2017	725/891	5 (0%)	8
June 2017	758/911	5 (0%)	11
May 2017	629/894	14 (0%)	19
April 2017	754/887	5 (0%)	8
March 2017	686/892	11 (0%)	7
February 2017	703/894	8 (0%)	3
January 2017	841/895	2 (0%)	5
December 2016	711/898	8 (0%)	9
November 2016	813/903	3 (0%)	6
October 2016	765/890	6 (0%)	9
September 2016	767/874	4 (0%)	11
August 2016	749/863	5 (0%)	10

Errors

Unsuccessful Installs in the last 7 Days: 0

External 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: