Constraint-based monitoring of hyperproperties

DOI10.1007/978-3-030-17465-1_7zbMath1527.68130arXiv1905.13517MaRDI QIDQ6091406

Marvin Stenger, Christopher Hahn, Leander Tentrup

Publication date: 24 November 2023

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1905.13517

zbMATH Keywords

rewritinghyperpropertiesconstraint-based monitoring

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (1)

Runtime enforcement of hyperproperties

This page was built for publication: Constraint-based monitoring of hyperproperties