GraphIL is a graphical editor for the intermediate language, one of the input formalisms of Verics.
Verics is a tool for automated verification of Timed Automata and protocols, developed in the Institute of Computer Science of Polish Academy of Sciences.
This is an example IL code.
