Second-order hyperproperties

DOI10.1007/978-3-031-37703-7_15MaRDI QIDQ6535541zbMATH OpenFDO

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

Publication date 12 January 2024

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

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

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

Cites work

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

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)