ASMETA: a tool set for the ASM download

ASMETA: a tool set for the ASM

A set of tools for Abstract State Machines (ASM) based on their Metamodel (AsmM). The code is now available at https://github.com/asmeta/asmeta

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2), Other License

Follow ASMETA: a tool set for the ASM

ASMETA: a tool set for the ASM Web Site

Other Useful Business Software

Paessler - Monitor Your Whole Network in Minutes

Auto-discovery finds your devices and deploys pre-configured sensors instantly. No project plan required, just visibility from day one.

Waiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.

Start Free 30-Day Trial

Rate This Project

User Ratings

5.0 out of 5 stars

★★★★★

★★★★

★★★

★★

★

ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5

features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5

design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5

support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5

User Reviews

Filter Reviews:

All

marcor92 Posted 2019-05-28

It is a useful and maintained eclipse plugin for handling Abstract State Machines. I used it for research. The support is quick for any issues.