Sorry, this content is only available in English. For your convenience, it is shown below in this language.
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
@inproceedings{coenen2022hyperproperty,
author = {Norine Coenen and Raimund Dachselt and Bernd Finkbeiner and Hadar Frenkel and Christopher Hahn and Tom Horak and Niklas Metzger and Julian Siber},
title = {Explaining Hyperproperty Violations},
booktitle = {34th International Conference on Computer Aided Verification},
series = {CAV 22},
year = {2022},
month = {8},
location = {Haifa, Israel},
doi = {10.1007/978-3-031-13185-1_20}
}List of additional material
@article{Horak2021VisualAnalysisHyperproperties,
author = {Tom Horak and Norine Coenen and Niklas Metzger and Christopher Hahn and Tamara Flemisch and Juli\'{a}n M\'{e}ndez and Dennis Dimov and Bernd Finkbeiner and Raimund Dachselt},
title = {Visual Analysis of Hyperproperties for Understanding Model Checking Results},
journal = {IEEE Transactions on Visualization and Computer Graphics},
year = {2022},
month = {10},
location = {Virtual Event},
doi = {10.1109/TVCG.2021.3114866},
publisher = {IEEE}
}List of additional material
, Video, Online Demo
Related Student Theses
Concepts for Interactively Exploring Information Flow and Design Options of Knowledge-based Systems
Julián Jesús Méndez Oconitrillo Oktober 5th, 2020 until März 8th, 2021
Supervision: Tamara Flemisch, Weizhou Luo, Tom Horak, Raimund Dachselt
Visualisierung von Model Checking für Hyperproperties und Informationsflüssen
Dennis Dimov Februar 3rd, 2020 until Mai 18th, 2020
Supervision: Tamara Flemisch, Tom Horak, Weizhou Luo, Raimund Dachselt