Demonstrations of Witness Visualization through the Witness Visualizer Tool

We possess two datasets showcasing visualized SVCOMP witnesses created with the assistance of the Witness Visualizer tool. The file examples_by_property.zip comprises 5 chosen witnesses for each SVCOMP category (Unreachability of Error Function, Memory Safety, No Overflow, Termination, No Data Race), each accompanied by its corresponding visualization. Meanwhile, the file examples_by_tool.zip contains a single random witness for each SVCOMP tool, along with its corresponding visualization. Each dataset is structured into two directories: "witnesses," containing the original witnesses provided by SVCOMP tools, and "visualization", containing our visual representations of the respective witnesses in HTML format.