TARTS is a tool to auto generate code for a embedded system by an UPPAAL timed automaton
arduino automation stm32 verification synthesis arduino-uno uppaal timed-automata nucleo nucleo-f030r8
-
Updated
Sep 12, 2020 - Java