Visual Analysis of Hyperproperties for Understanding Model Checking Results
Model checkers provide algorithms for proving that a mathematical model of a system satisfies a given specification. In case of a violation, a counterexample that shows the erroneous behavior is returned. Understanding these counterexamples is challenging, especially for hyperproperty specifications...
Ausführliche Beschreibung
Bibliographische Detailangaben
| Veröffentlicht in: | IEEE transactions on visualization and computer graphics. - 1996. - 28(2022), 1 vom: 29. Jan., Seite 357-367
|
|---|
| 1. Verfasser: |
Horak, Tom
(VerfasserIn) |
|---|
| Weitere Verfasser: |
Coenen, Norine,
Metzger, Niklas,
Hahn, Christopher,
Flemisch, Tamara,
Mendez, Julian,
Dimov, Dennis,
Finkbeiner, Bernd,
Dachselt, Raimund |
|---|
| Format: | Online-Aufsatz
|
|---|
| Sprache: | English |
|---|
| Veröffentlicht: |
2022
|
|---|
| Zugriff auf das übergeordnete Werk: | IEEE transactions on visualization and computer graphics
|
|---|
| Schlagworte: | Journal Article |
|---|