iDot enables incremental display of directed graphs written in the dot language of Graphviz.

iDot was developed for use with the SpinSpider software tool for automatically generating state diagrams from Promela programs for the Spin model checker, and the VN software tool for generating computations in nondeterministic finite automata. However, the software is released as an independent tool that is depends only on the dot language and layout software.