Asmeta

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

http://svn.code.sf.net/p/asmeta/code/code/stable/asmeta_update/

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:

2019-03 (4.11), 2018-12 (4.10), 2018-09 (4.9), Photon (4.8), Oxygen (4.7), 2019-06 (4.12), 2019-09 (4.13)

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, 2019-09-04 11:43

Submitted by:

Metrics

Date	Ranking	Installs	Clickthroughs
October 2019	733/851	3 (0%)	8
September 2019	723/878	5 (0%)	13
August 2019	663/900	8 (0%)	4
July 2019	694/911	7 (0%)	15
June 2019	589/919	14 (0%)	14
May 2019	741/913	5 (0%)	18
April 2019	648/923	10 (0%)	12
March 2019	661/920	10 (0%)	34
February 2019	694/924	8 (0%)	14
January 2019	574/930	22 (0%)	12
December 2018	606/945	15 (0%)	6
November 2018	772/939	5 (0%)	8

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 18, 2019 - 00:03