Verifying bounded subset-closed hyperproperties

DOI10.1007/978-3-319-99725-4_17zbMath1511.68163OpenAlexW2889050595MaRDI QIDQ6041175

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)

Related Items (2)

On the security and safety of AbU systems ⋮ From interface automata to hypercontracts

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