Asmeta Asm2C++

Asm2C++ is a tool for code generation from Abstract State Machines.

Paper

S. Bonfanti, M. Carissoni, A. Gargantini, A. Mashkoor. Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino, in 9th NASA Formal Methods Symposium (NFM 2017), Moffett Field, CA, USA, May 16-18, 2017 doi