Extensions of HyperLTL for asynchronous hyperproperties

DOI10.1145/3815107MaRDI QIDQ7325541zbMATH OpenFDO

Authors Laura Bozzelli, Adriano Peron, César Sánchez

Publication date 8 September 2026

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1145/3815107

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• “Sometimes” and “not never” revisited
• A per model of secure information flow in sequential programs
• A temporal logic for asynchronous hyperproperties
• Algorithms for model checking HyperLTL and HyperCTL^*
• Asynchronous extensions of hyperLTL
• Bounded model checking for asynchronous hyperproperties
• Diagnosability of discrete-event systems
• Diagnosability of fair transition systems
• Expressiveness and decidability of temporal logics for asynchronous hyperproperties
• Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
• From liveness to promptness
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3757688 (Why is no real title available?)
• scientific article; zbMATH DE number 1500666 (Why is no real title available?)
• scientific article; zbMATH DE number 6851935 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• scientific article; zbMATH DE number 7799630 (Why is no real title available?)
• Model Checking Information Flow in Reactive Systems
• On the complexity of linear temporal logic with team semantics
• Propositional Dynamic Logic for Hyperproperties
• Propositional dynamic logic of regular programs
• Reasoning about infinite computations
• Second-order hyperproperties
• Software Verification of Hyperproperties Beyond k-Safety
• Synthesis from hyperproperties
• Team semantics for the specification and verification of hyperproperties
• Temporal team semantics revisited
• The complementation problem for Büchi automata with applications to temporal logic
• The first-order logic of hyperproperties
• The hierarchy of hyperlogics
• Unifying hyper and epistemic temporal logics

This page was built for publication: Extensions of HyperLTL for asynchronous hyperproperties

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