Efficient monitoring of hyperproperties using prefix trees

Finkbeiner, Bernd; Hahn, Christopher; Stenger, Marvin; Tentrup, Leander

doi:10.60882/cispa.24612537.v2

Efficient monitoring of hyperproperties using prefix trees

https://doi.org/10.60882/cispa.24612537

journal contribution

posted on 2023-12-11, 20:12 authored by Bernd FinkbeinerBernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup

No description available<p></p>

History

Preferred Citation

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger and Leander Tentrup. Efficient monitoring of hyperproperties using prefix trees. In: International Journal on Software Tools for Technology Transfer (STTT). 2020.

Primary Research Area

Reliable Security Guarantees

Legacy Posted Date

2020-10-15

Journal

International Journal on Software Tools for Technology Transfer (STTT)

Open Access Type

Gold

Sub Type

Article

BibTeX

@article{cispa_all_3250, title = "Efficient monitoring of hyperproperties using prefix trees", author = "Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin and Tentrup, Leander", journal="{International Journal on Software Tools for Technology Transfer (STTT)}", year="2020", }

Efficient monitoring of hyperproperties using prefix trees

History

Preferred Citation

Primary Research Area

Legacy Posted Date

Journal

Open Access Type

Sub Type

BibTeX

Usage metrics

Categories

Keywords

Licence

Exports