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
Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

Native application identity and user-based security for your Azure cloud

Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
Get a free trial
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