Visualization framework for verification tools with graph output