On verifying timed hyperproperties

DOI10.4230/LIPICS.TIME.2019.20MaRDI QIDQ6487563zbMATH OpenFDO

Authors Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones

Publication date 3 February 2023

Full work available at URL https://doi.org/10.4230/LIPICS.TIME.2019.20

zbMATH Keywords

cybersecuritytemporal logicstimed automata

Mathematics Subject Classification ID

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

Recommendations

• Timed hyperproperties
• A temporal logic for asynchronous hyperproperties
• Model checking algorithms for hyperproperties (invited paper)
• Algorithms for model checking HyperLTL and HyperCTL^*
• Temporal hyperproperties

Cited in

(4)

• Perspectives of System Informatics
• Bounded model checking for asynchronous hyperproperties
• Timed hyperproperties
• A temporal logic for asynchronous hyperproperties

This page was built for publication: On verifying timed hyperproperties

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