Asmeta Validator

AsmetaV (Asmeta Validator) can be used to validate AsmetaL specifications by scenarios.


Download the validator: AsmetaV.jar

How to run

To run the ASM validator - in brief

java -jar AsmetaV.jar <filename>

Eclipse plugin

The tool is also available as eclipse plugin at this update site

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.