Verifying bounded subset-closed hyperproperties

DOI10.1007/978-3-319-99725-4_17MaRDI QIDQ6041175zbMATH OpenOpenAlexFDO

Authors Isabella Mastroeni, Michele Pasqua

Publication date 26 May 2023

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-99725-4_17

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Hyperhierarchy of semantics -- a formal framework for hyperproperties verification
• Temporal hyperproperties
• Hypercollecting semantics and its application to static analysis of information flow
• Software Verification of Hyperproperties Beyond k-Safety
• Monitoring hyperproperties

Cited in

(6)

• Hyperhierarchy of semantics -- a formal framework for hyperproperties verification
• Hypercollecting semantics and its application to static analysis of information flow
• On the security and safety of AbU systems
• From interface automata to hypercontracts
• Efficient loop conditions for bounded model checking hyperproperties
• Hypercontracts

This page was built for publication: Verifying bounded subset-closed hyperproperties

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