Asmeta Asmeta Tools

We have developed and are distributing the following (stable) tools

  • Asmee: an editor for ASMs written in the AsmetaL language
  • AsmetaC: a compiler/parser for AsmetaL models
  • AsmetaS: a simulator
  • AsmetaV: a scenario-based validator
  • AsmetaSMV: a model checker based on NuSMV
  • AsmetaMA: a model advisor
  • AsmetaVis: a graphical visualizer of AsmetaL models
  • AsmetaRefProver: a prover of refinement correctness
  • Asm2SMT: a translator from AsmetaL models to Yices logical contexts
  • Asm2C++: a code generator

Some tools are provided both as eclipse plugins and standalone jars that can be executed at command line. Some are only available as jar files.

Installing ASMETA in eclipse

Some ASMETA tools are integrated in eclipse. The update site is Perform the following steps to install an Asmeta tool from the update site:

1. From your Eclipse menu select Help Software Updates Find and Install...

2. Check Search for new features and press Next.

3. Press New Remote Site... and enter for the update site URL

4. Press Finish.

5. Select the desired tool(s).

6. Follow the steps in the installation wizard.


Asmeta is released under a GPL-like license.

Experimental tools

We have been working on:

  • the AsmetaRE: to generate executable ASMs from Use Case models.
  • the SCA-ASM: an executable modeling language and an engine for service oriented applications. See our paper at EUROMICRO SEAA 2011
  • a graphical editor for Asmeta specs based on GMF

ATGT: test generator

The ATGT test generator now supports structural based testing, fault based testing and combinatorial testing. See the ATGT page for further information.