AutoHyper: leveraging language inclusion checking for hyperproperty model-checking

Beutner, Raven; Finkbeiner, Bernd

doi:10.60882/cispa.29136758.v1

AutoHyper: leveraging language inclusion checking for hyperproperty model-checking

journal contribution

posted on 2025-05-23, 13:40 authored by Raven BeutnerRaven Beutner, Bernd FinkbeinerBernd Finkbeiner

No description supplied

History

CISPA Affiliation

Yes

Journal

International Journal on Software Tools for Technology Transfer

Page Range

1-17

Publisher

Springer Nature

Open Access Type

Hybrid

BibTeX

@article{Beutner:Finkbeiner, title = "AutoHyper: leveraging language inclusion checking for hyperproperty model-checking", author = "Beutner, Raven" AND "Finkbeiner, Bernd", journal = "International Journal on Software Tools for Technology Transfer", pages = "1--17", publisher = "Springer Nature", issn = "1433-2779", doi = "10.1007/s10009-025-00801-5" }