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
May 2017	638/883	12 (0%)	16
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
July 2016	730/864	6 (0%)	21
June 2016	632/853	13 (0%)	12

Errors

Unsuccessful Installs in the last 7 Days: 1

Count	Error Message
1	Cannot complete the install because one or more required items could not be found....

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: