Second-order hyperproperties

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

Hadar Frenkel, Bernd Finkbeiner, Niklas Metzger, Raven Beutner

Publication date: 12 January 2024

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computer Aided Verification
• Learning regular sets from queries and counterexamples
• A lattice-theoretical fixpoint theorem and its applications
• A really temporal logic
• Knowledge and common knowledge in a distributed environment
• Computer Aided Verification
• Common knowledge and update in finite environments
• Probabilistic Hyperproperties of Markov Decision Processes
• 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
• 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?

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)