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), 2019-12 (4.14)

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, 2019-10-22 11:36

Submitted by:

Metrics

Date	Ranking	Installs	Clickthroughs
January 2020	517/857	16 (0%)	12
December 2019	549/876	16 (0%)	17
November 2019	650/900	9 (0%)	21
October 2019	736/888	5 (0%)	13
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

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:

Thursday, January 23, 2020 - 09:42