Screenshot of the HyperVis tool

HyperVis is an interactive tool for explicating and visualizing counterexamples to hyperproperties, such as noninterference and other information-flow policies.

Open Interactive Online Tool

Visit  hypervis.tools.react.cs.uni-saarland.de to try it yourself!

Video & Tool Walkthrough

In a hurry? We also have a 25-second preview video.

Publication

Related Student Theses