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), Photon (4.8)

Platform Support:

Windows, Mac, Linux/GTK

Organization Name:

Date Created:

Tue, 2015-01-13 06:41

Development Status:

Production/Stable

License:

EPL

Date Updated:

Tue, 2018-04-24 14:46

Submitted by:

Metrics

Date	Ranking	Installs	Clickthroughs
May 2018	714/927	6 (0%)	2
April 2018	860/946	3 (0%)	5
March 2018	779/961	6 (0%)	10
February 2018	879/940	2 (0%)	3
January 2018	607/945	17 (0%)	6
December 2017	597/920	16 (0%)	7
November 2017	688/941	11 (0%)	7
October 2017	674/926	12 (0%)	15
September 2017	662/906	11 (0%)	10
August 2017	758/919	6 (0%)	10
July 2017	763/916	6 (0%)	16
June 2017	758/911	5 (0%)	11

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:

Installs Last Update:

Saturday, May 19, 2018 - 17:50