Search Results for "graph tool"

HiPS tool is developed at the Department of Computer Science and Engineering, Shinshu University, which is a tool design and analysis of Petri nets, developed using Microsoft Visual C # and C++. HiPS tool has a way of intuitive GUI which enable hierarchical and/or timed-net design. HiPS tool has also functions of static/dynamic analysis : T-invariant detection, Reachability path analysis, deadlock state detection, and k-boundedness analysis. In addition, it is possible to perform a random...

dep-graphV is an useful development tool, written in C++ and powered by Qt and GraphViz, that creates a graph of your codebase, by parsing every #include statement found in the project's root folder. It is helpful when you need to analize and visualize the dependecy tree, highlightining cycles and "useless paths", and It means, in short, that you could drastically reduce build times, especially when working on large-scale projects.