Second-order hyperproperties

DOI10.1007/978-3-031-37703-7_15zbMATH Open1545.68068MaRDI QIDQ6535541FDOQ6535541

Authors: Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger 

Publication date: 12 January 2024

Recommendations

• Model checking algorithms for hyperproperties (invited paper)
• Temporal hyperproperties
• A temporal logic for asynchronous hyperproperties
• Asynchronous extensions of hyperLTL
• AutoHyper: explicit-state model checking for HyperLTL

Mathematics Subject Classification ID

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

Cites Work

• Iterating transducers in the large (extended abstract)
• Learning regular sets from queries and counterexamples
• A lattice-theoretical fixpoint theorem and its applications
• A really temporal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Knowledge and common knowledge in a distributed environment
• Computer Aided Verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Common knowledge and update in finite environments
• Probabilistic Hyperproperties of Markov Decision Processes
• Title not available (Why is that?)
• Algorithms for model checking HyperLTL and HyperCTL\(^*\)
• The first-order logic of hyperproperties
• Verifying hyperliveness
• A temporal logic for asynchronous hyperproperties
• Tools and Algorithms for the Construction and Analysis of Systems
• Temporal causality in reactive systems
• Finite-word hyperlanguages
• Unifying hyper and epistemic temporal logics
• Compositional model checking for multi-properties
• Title not available (Why is that?)
• Explaining Hyperproperty Violations
• Propositional Dynamic Logic for Hyperproperties
• AutoHyper: explicit-state model checking for HyperLTL
• HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
• HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete.
• Software Verification of Hyperproperties Beyond k-Safety
• From Spot 2.0 to Spot 2.10: What’s New?
• Realizable and context-free hyperlanguages

This page was built for publication: Second-order hyperproperties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535541)