scientific article; zbMATH DE number 6851935

DOI10.4230/LIPIcs.CONCUR.2016.13zbMath1392.68248arXiv1606.07047MaRDI QIDQ4608665

Bernd Finkbeiner, Christopher Hahn

Publication date: 21 March 2018

Full work available at URL: https://arxiv.org/abs/1606.07047

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

complexitysatisfiabilitytemporal logicshyperproperties

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items

Timed hyperproperties, On the complexity of linear temporal logic with team semantics, Is Your Software on Dope?, Unnamed Item, Program Repair for Hyperproperties, Finite-word hyperlanguages, Team semantics for the specification and verification of hyperproperties, Monitoring hyperproperties, Bounded model checking for hyperproperties, Synthesis from hyperproperties, Propositional Dynamic Logic for Hyperproperties, Good-for-Game QPTL: An Alternating Hodges Semantics