Fakultät Informatik
    • Fakultät Informatik
    • Institut für Software- und Multimediatechnik
    • Technische Universität Dresden
    • Kontakt
    • Facebook
    • Twitter
    • Youtube
    • RSS-Feeds
    Language:
    • DE
    • EN
Interactive Media Lab Dresden
  • News
  • Studium
    • Lehrangebot
    • Studentische Arbeiten
  • Forschung
    • Projekte
    • Publikationen
    • Partner
    • Dresden Talks
  • Publikationen
  • Über uns
    • Unser Team
    • Jobs / Open Positions
    • Presse
    • Kontakt
    • Barrierefreiheit
    • Impressum
Interactive Media Lab Dresden –
  • News
  • Studium
    • Lehrangebot
    • Studentische Arbeiten
  • Forschung
    • Projekte
    • Publikationen
    • Partner
    • Dresden Talks
  • Publikationen
  • Über uns
    • Unser Team
    • Jobs / Open Positions
    • Presse
    • Kontakt
    • Barrierefreiheit
    • Impressum

Forschungsprojekte

HyperVis: Visualizing Hyperproperties

  • Projekte
  • Publikationen
  • Partner
  • Dresden Talks

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/

  • Forschung
  • Projekte
  • HyperVis: Visualizing Hyperproperties

Letzte Änderung: 6 Monaten ago (26. Oktober 2020 @ 11:41)

Copyright © 2012-2021   Interactive Media Lab Dresden

  • Impressum
  • Datenschutz
  • Barrierefreiheit