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
AsmetaA: an animator for Asmeta models executions

Categories:

Tags:

Additional Details

Eclipse Versions:

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

Platform Support:

Windows, Mac, Linux/GTK

Organization Name:

Date Created:

Tue, 2015-01-13 06:41

Development Status:

Production/Stable

License:

EPL

Date Updated:

Thu, 2018-08-23 15:14

Submitted by:

Metrics

Date	Ranking	Installs	Clickthroughs
October 2018	656/916	9 (0%)	5
September 2018	715/941	8 (0%)	13
August 2018	735/939	8 (0%)	6
July 2018	690/940	11 (0%)	13
June 2018	835/947	3 (0%)	9
May 2018	676/954	12 (0%)	5
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

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:

Friday, October 19, 2018 - 04:36