TARTS is a tool to auto generate code for a embedded system by an UPPAAL timed automaton
Primary LanguageJavaMIT LicenseMIT