Asynchronous extensions of hyperLTL

DOI10.1109/LICS52264.2021.9470583MaRDI QIDQ6651942zbMATH OpenFDO

Authors

Publication date 11 December 2024

Full work available at URL https://doi.org/10.1109/LICS52264.2021.9470583

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A temporal logic for asynchronous hyperproperties
• Introducing asynchronicity to probabilistic hyperproperties
• HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
• Temporal hyperproperties
• Verifying hyperliveness

Cited in

(18)

• HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
• Realizable and context-free hyperlanguages
• Bounded model checking for asynchronous hyperproperties
• Second-order hyperproperties
• Introducing asynchronicity to probabilistic hyperproperties
• The complexity of second-order HyperLTL
• Hypernode automata
• Symbolic execution for refuting hyperproperties
• Predicate abstraction for hyperliveness verification
• Hypernode automata
• Model checking omega-regular hyperproperties with AutoHyperQ
• HyperLTL satisfiability is highly undecidable, \(\mathrm{HyperCTL}^*\) is even harder
• The complexity of second-order HyperLTL
• Unifying asynchronous logics for hyperproperties
• Concurrent -hyperproperties
• Inquisitive team semantics of LTL
• Complexity of model checking second-order hyperproperties on finite structures
• Extensions of HyperLTL for asynchronous hyperproperties

This page was built for publication: Asynchronous extensions of hyperLTL

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