| CARVIEW |
Select Language
HTTP/2 301
date: Sun, 18 Jan 2026 02:06:54 GMT
content-type: text/html
content-length: 162
location: https://finkbeiner.groups.cispa.de/tools/online/hypervis/
strict-transport-security: max-age=31536000; includeSubDomains
HTTP/2 200
date: Sun, 18 Jan 2026 02:06:54 GMT
content-type: text/html; charset=UTF-8
content-length: 23984
x-powered-by: Express
access-control-allow-origin: *
accept-ranges: bytes
cache-control: public, max-age=0
last-modified: Tue, 28 Oct 2025 13:40:18 GMT
etag: W/"5db0-19a2b0c4dd0"
strict-transport-security: max-age=31536000; includeSubDomains
HyperVis
Load Your Formula and System
Load a system and the formula that should be tested. The counter example will be generated
for you.
Load Server Example
Status checks for
These are the current status results for the selected project.
To execute them, please make a selection and choose "Execute"
To execute them, please make a selection and choose "Execute"
No checks available
Workspace: Projects
Loading...
Welcome to HyperVis
HyperVis is a tool for running model checking of hyperproperties and visualizing occuring counterexamples.
Continue
Continue where you stopped. You find your existing projects on the left.Start Fresh
You can start from scratch and create a new system. You can provide it as Aiger, DFA, or DOT representation.Play Around
You can use one of the available examples to experiment and understand how HyperVis works.