Hyperhierarchy of semantics -- a formal framework for hyperproperties verification

DOI10.1007/978-3-319-66706-5_12MaRDI QIDQ5233244zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(6)

• Team semantics for the specification and verification of hyperproperties
• 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

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)