AsmetaV (Asmeta Validator) can be used to validate AsmetaL specifications by scenarios.
Download the validator:
How to run
To run the ASM validator - in brief
java -jar AsmetaV.jar <filename>
The tool is also available as eclipse plugin at this update site http://svn.code.sf.net/p/asmeta/code/code/stable/asmeta_update/
You can run the tool in two modes:
- executes the scenario
- executes the scenario and computes the coverage
It has been presented in the ABZ08 paper.