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
Build Securely on AWS with Proven Frameworks Icon
Build Securely on AWS with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
Download Now
Rate This Project
Login To Rate This Project

User Ratings

5.0 out of 5 stars
★★★★★
★★★★
★★★
★★
★
1
0
0
0
0
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.
Read more reviews >

Additional Project Details

Intended Audience

Education, Information Technology

Programming Language

Java

Registered

2005-12-23
Report inappropriate content