abinoam / csv2uppaal Goto Github PK
View Code? Open in Web Editor NEWThis project forked from csv2uppaal/csv2uppaal
Tool chain that translate tables with state/transition protocol descriptions into a network of communicating state machines directly suitable for verification in Uppaal.
License: Other