Verifying hyperliveness
From MaRDI portal
Publication:6154578
DOI10.1007/978-3-030-25540-4_7arXiv2005.07425MaRDI QIDQ6154578
César Sánchez, Leander Tentrup, Norine Coenen, Bernd Finkbeiner
Publication date: 16 February 2024
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2005.07425
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
A temporal logic for asynchronous hyperproperties, Constraint-based relational verification, Runtime enforcement of hyperproperties, HyperPCTL model checking by probabilistic decomposition, HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems, Program Repair for Hyperproperties, Finite-word hyperlanguages, Model checking algorithms for hyperproperties (invited paper)
