Asmeta Asmeta validator
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>