Asmeta Asm2SMT

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

Download the tool: <a


How to run

To run Asm2SMT

java -jar AsmetaToSMT.jar asmetalFileName.asm


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