Asm2SMT produces a symbolic representation of an AsmetaL model.
### Download

Download the tool: <a

AsmetaToSMT.jar

How to run

To run Asm2SMT

java -jar AsmetaToSMT.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) doi