Second-order hyperproperties
type: Item
instance of: scholarly article
title: Second-order hyperproperties
zbMATH Open document ID: 1545.68068
DOI: 10.1007/978-3-031-37703-7_15
author: Raven Beutner
author: Bernd Finkbeiner
author: Hadar Frenkel
author: Niklas Metzger
publication date: 2024-01-12T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 7787559
MaRDI profile type: MaRDI publication profile
cites work: A really temporal logic
cites work: Learning regular sets from queries and counterexamples
cites work: A temporal logic for asynchronous hyperproperties
cites work: Q6176108
cites work: Software Verification of Hyperproperties Beyond k-Safety
cites work: AutoHyper: explicit-state model checking for HyperLTL
cites work: HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
cites work: Computer Aided Verification
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Finite-word hyperlanguages
cites work: Q2754102
cites work: Unifying Hyper and Epistemic Temporal Logics
cites work: Q5525343
cites work: Explaining Hyperproperty Violations
cites work: Temporal causality in reactive systems
cites work: Verifying hyperliveness
cites work: Q4551159
cites work: Probabilistic Hyperproperties of Markov Decision Processes
cites work: From Spot 2.0 to Spot 2.10: What’s New?
cites work: Q4845472
cites work: Algorithms for model checking HyperLTL and HyperCTL\(^*\)
cites work: The First-Order Logic of Hyperproperties
cites work: HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete.
cites work: Q6191011
cites work: Compositional model checking for multi-properties
cites work: Propositional Dynamic Logic for Hyperproperties
cites work: Knowledge and common knowledge in a distributed environment
cites work: Q4738471
cites work: Common knowledge and update in finite environments
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: Q3141916
description: scientific article; zbMATH DE number 7787559