Asmeta Asmeta Tools

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

  • Asmee: an editor for ASMs written in the AsmetaL language
  • AsmetaLc: a compiler/parser for AsmetaL models
  • AsmetaS: a simulator
  • AsmetaV: a scenario-based validator
  • AsmetaA: an execution animator
  • 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
  • ATGT: an abstract test generator

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

To install and execute the tools see the individual pages or how to install asmeta.