Hyperhierarchy of semantics -- a formal framework for hyperproperties verification

DOI10.1007/978-3-319-66706-5_12zbMATH Open1420.68113OpenAlexW2734853177MaRDI QIDQ5233244FDOQ5233244

Authors: Isabella Mastroeni, Michele Pasqua 

Publication date: 16 September 2019

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-66706-5_12

Recommendations

• Verifying bounded subset-closed hyperproperties
• Temporal hyperproperties
• Team semantics for the specification and verification of hyperproperties
• Monitoring hyperproperties
• Software Verification of Hyperproperties Beyond k-Safety

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cited In (6)

• On multi-language abstraction. Towards a static analysis of multi-language programs
• Verifying bounded subset-closed hyperproperties
• Explaining Hyperproperty Violations
• Trace-relating compiler correctness and secure compilation
• Towards incrementalization of holistic hyperproperties
• Team semantics for the specification and verification of hyperproperties

This page was built for publication: Hyperhierarchy of semantics -- a formal framework for hyperproperties verification

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