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
  • executes the scenario in the animator

Download as standalone

Download the validator: AsmetaV.jar

How to run

To run the ASM validator - in brief

java -jar AsmetaV.jar <filename> OR <DIR>

where <filename> is a valid avalla file or <DIR> is a directory containing the avalla files (all will be executed)

Paper

It has been presented in the ABZ08 paper.