Asmeta
Asmeta validator
Overview
Developer documentation
Papers
People
Support
User documentation
Documentation for Users
Asmee
Asmeta language
Asmeta simulator
Asmeta validator
AsmetaL compiler
How to use Asmeta Tools
License
the Abstract state Machines Metamodel
Web Resources
SourceForge Project Page
Issue Trackers
Discussion Forums
SVN Repository
Statistics
AsmetaV: the validator
AsmetaV
can be used to validate AsmetaL specifications: it has been presented in the
ABZ08 paper
.
Download
Download the validator:
AsmetaV.jar
How to run
To run the ASM
validator - in brief
java -jar AsmetaV.jar <filename>