Flavors of sequential information flow

DOI10.1007/978-3-030-94583-1_1zbMath1498.68151OpenAlexW4206020238WikidataQ124212468 ScholiaQ124212468MaRDI QIDQ2152640

Thomas Ferrère, Thomas A. Henzinger, Ezio Bartocci, Dejan Ničković, Ana Oliveira da Costa

Publication date: 8 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-94583-1_1

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

From interface automata to hypercontracts

Cites Work

• Unnamed Item
• A temporal logic for asynchronous hyperproperties
• Dependence and independence
• The stuttering principle revisited
• Model Checking Information Flow in Reactive Systems
• Unifying Hyper and Epistemic Temporal Logics
• The First-Order Logic of Hyperproperties
• Team semantics for the specification and verification of hyperproperties

This page was built for publication: Flavors of sequential information flow