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 explicating and visualizing counterexamples to hyperproperties, such as noninterference and other information-flow policies.
Open Interactive Online Tool
Visit finkbeiner.groups.cispa.de/tools/online/hypervis/ to try it yourself!
Video & Tool Walkthrough
In a hurry? We also have a 25-second preview video.
Publications
@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}
}Weitere Materialien
@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},
volume = {28},
issue = {1},
year = {2022},
month = {10},
location = {Virtual Event},
pages = {357--367},
doi = {10.1109/TVCG.2021.3114866},
publisher = {IEEE}
}Weitere Materialien
, Video, Online Demo
Related Student Theses
Concepts for Interactively Exploring Information Flow and Design Options of Knowledge-based Systems
Julián Méndez 5. Oktober 2020 bis 8. März 2021
Betreuung: Tamara Flemisch, Weizhou Luo, Tom Horak, Raimund Dachselt
Visualisierung von Model Checking für Hyperproperties und Informationsflüssen
Dennis Dimov 3. Februar 2020 bis 18. Mai 2020
Betreuung: Tamara Flemisch, Tom Horak, Weizhou Luo, Raimund Dachselt