CoreASM Eclipse Plugin

Please be aware that some listings have been temporarily delisted from our marketplace in order to improve the security of the platform. We apologize for any inconvenience this may caused.

For more information on this matter, please visit #1.

If you are a listing owner and would like to have your listing(s) reinstated, please open a ticket at https://gitlab.eclipse.org/eclipsefdn/it/websites/marketplace.eclipse.org/-/issues.

Thank you for your understanding and cooperation.

Install

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

Mars (4.5)
Luna (4.4)
Kepler (4.3)
Juno (4.2, 3.8)
Previous to Juno (<=4.1)
Neon (4.6)
Oxygen (4.7)
Photon (4.8)
2018-09 (4.9)

https://webcoreasm.informatik.uni-ulm.de/coreasm-repository/

Learn more...

Details Group Tabs

Details

The CoreASM Modeling Framework

CoreASM is an open source project that focuses on offering a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification (where appropriate) of abstract system models.

CoreASM offers a rich ASM language with a formally defined semantics that is faithful to the original semantics of ASM and is the first ASM tool that explicitly supports distributed ASM computation models with custom scheduling policies. The extensibility of its language and modeling environment, the most significant feature of CoreASM, provides utmost flexibility for extending its language definition and execution engine in order to tailor it to the particular needs of virtually any conceivable application context. CoreASM is one of the few ASM tools that is implemented as an open framework.

CoreASM can be used in differnt forms: it offers a modeling framework, it can be viewed as a tool suite with different tools it offers around the engine, while the engine itself can be used as an stand-alone tool (using its command-line or Eclipse plugin UI).

Categories:

Tags:

Additional Details

Eclipse Versions:

Mars (4.5), Luna (4.4), Kepler (4.3), Juno (4.2, 3.8), Previous to Juno (<=4.1), Neon (4.6), Oxygen (4.7), Photon (4.8), 2018-09 (4.9)

Platform Support:

Windows, Mac, Linux/GTK

Development Status:

Alpha

Date Created:

Mon, 2013-11-11 07:38

License:

Other Open Source

Date Updated:

Wed, 2022-12-14 09:48

Submitted by:

Marcel Dausend

Screenshots

Metrics

Date	Ranking	Installs	Clickthroughs
March 2023	484/670	9 (0%)	10
February 2023	535/668	5 (0%)	18
January 2023	413/677	19 (0.01%)	14
December 2022	555/805	8 (0%)	12
November 2022	632/808	6 (0%)	6
October 2022	635/811	5 (0%)	9
September 2022	784/812	1 (0%)	5
August 2022	579/808	7 (0%)	8
July 2022	585/816	6 (0%)	12
June 2022	712/810	2 (0%)	22
May 2022	612/810	7 (0%)	16
April 2022	571/817	8 (0%)	20

View Data for all Listings

Errors

Unsuccessful Installs in the last 7 Days: 0

Download last 500 errors (CSV)

External Install Button

Marketplace Drag to Install button

By adding the following code below to your website you will be able to add an install button for CoreASM Eclipse Plugin.

HTML Code:

Markdown Syntax:

Output:

Saturday, March 25, 2023 - 20:05

CoreASM Eclipse Plugin

Drag to Install!

Mars (4.5)Luna (4.4)Kepler (4.3)Juno (4.2, 3.8)Previous to Juno (<=4.1)Neon (4.6)Oxygen (4.7)Photon (4.8)2018-09 (4.9)

Details Group Tabs

Marketplace Drag to Install button

Mars (4.5)
Luna (4.4)
Kepler (4.3)
Juno (4.2, 3.8)
Previous to Juno (<=4.1)
Neon (4.6)
Oxygen (4.7)
Photon (4.8)
2018-09 (4.9)