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

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

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

(7)

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

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)