Asmeta Asm2SMT

Asm2SMT produces a symbolic representation of an AsmetaL model.

Download

Download the tool: AsmToSMT.jar

How to run

To run Asm2SMT

java -jar Asm2SMT.jar asmetalFileName.asm

Paper

P. Arcaini, A. Gargantini, E. Riccobene. SMT for state-based formal methods: the ASM case study, in 6th workshop on Automated Formal Methods (AFM 2017)