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
Streamline Azure Security with Palo Alto Networks VM-Series Icon
Streamline Azure Security with Palo Alto Networks VM-Series

Centrally manage physical and virtualized firewalls with Panorama

Improve your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
Learn more
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