Leider ist dieser Inhalt nur in Englisch verfügbar. Aus praktischen Gründen wird der Inhalt unten in dieser Sprache angezeigt.

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