Asmeta Validator

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

Download

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

Paper

It has been presented in the ABZ08 paper.