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.
Categories
Software DevelopmentFollow GraphIL
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of GraphIL!