AutoHyper: leveraging language inclusion checking for hyperproperty model-checking
Crossref DOI link: https://doi.org/10.1007/s10009-025-00801-5
Published Online: 2025-05-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Beutner, Raven
Finkbeiner, Bernd
Funding for this research was provided by:
CISPA - Helmholtz-Zentrum für Informationssicherheit gGmbH
Text and Data Mining valid from 2025-05-06
Version of Record valid from 2025-05-06
Article History
Accepted: 4 April 2025
First Online: 6 May 2025