HyperVis: Visualizing Hyperproperties

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

Tool Walkthrough

Artifact & Resources

Note: The following resources are only provided for review purposes at TACAS. Do not redistribute.

Artifact

The artifact including readme and install instructions is available here: https://cloudstore.zih.tu-dresden.de/index.php/s/YkgRWf2Mk4C44MN

Additional Resources

• VM image (Debian-based) with pre-installed tool: https://cloudstore.zih.tu-dresden.de/index.php/s/9sxdQaMFWSBrsTL
• Docker image: https://cloud.perspicuous-computing.science/s/BCx2dHdsG3Spyxg
• Online version: http://syntcompcc5.react.uni-saarland.de:4723/