Leider ist dieser Inhalt nur in Englisch verfügbar. Aus praktischen Gründen wird der Inhalt unten in dieser Sprache angezeigt.
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/