Asmeta Validator

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

Installation

The validator can be used either embedded in eclipse or as standalone program. For the eclipse version, follow the instructions here

Use in eclipse

You can run the tool in two modes:

  • executes the scenario
  • executes the scenario and computes the coverage

Download as standalone

Download the validator: AsmetaV.jar

How to run

To run the ASM validator - in brief

java -jar AsmetaV.jar <filename>

Paper

It has been presented in the ABZ08 paper.