Newer
Older
TTool, an open-source UML toolkit for modeling and verifying embedded systems
TTool is developed at Telecom ParisTech, http://ttool.telecom-paristech.fr
-------------------------------------------------------------------------------
Directory generally configured as the one for saving graphs, including reachability graphs and minimized graphs