Model checking quantitative hyperproperties

DOI10.1007/978-3-319-96145-3_8zbMath1511.68154arXiv1905.13514MaRDI QIDQ6045002

Hazem Torfah, Christopher Hahn, Bernd Finkbeiner

Publication date: 26 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items

Timed hyperproperties, Runtime enforcement of hyperproperties, Program Repair for Hyperproperties, On satisficing in quantitative games, Bounded model checking for hyperproperties, Synthesis from hyperproperties, Model checking hyperproperties for Markov decision processes