CoreASM Eclipse Plugin

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...
Solution Description

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: Editor, Languages

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: Monday, November 11, 2013 - 07:38

License: Other Open Source

Date Updated: Wednesday, December 14, 2022 - 09:48

Submitted by: Marcel Dausend

Screenshot
Date Ranking Installs Clickthroughs
June 2024 454/631 5 9
May 2024 464/682 10 12
April 2024 507/687 7 11
March 2024 536/694 6 7
February 2024 520/687 6 5
January 2024 459/691 10 8
December 2023 486/671 8 7
November 2023 570/686 4 5
October 2023 485/673 10 11
September 2023 574/663 3 7
August 2023 506/673 7 5
July 2023 504/668 7 4
View Data for all Listings

Unsuccessful Installs

Unsuccessful Installs in the last 7 Days: 0

Download last 500 errors (CSV)

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:

Drag to your running Eclipse* workspace. *Requires Eclipse Marketplace Client