37 citations · 80 across the 29 of their papers we have counts for
Showing 2017 · cs.LOShow all
2 papers · 2 filters
cs.LO2017
Team Semantics for the Specification and Verification of Hyperproperties
Andreas Krebs, Arne Meier, Jonni Virtema +1
We develop team semantics for Linear Temporal Logic (LTL) to express hyperproperties, which have recently been identified as a key concept in the verification of information flow p…
cs.LO2017★ 1 cited
Enumeration Complexity of Poor Man's Propositional Dependence Logic
Arne Meier, Christian Reinbold
Dependence logics are a modern family of logics of independence and dependence which mimic notions of database theory. In this paper, we aim to initiate the study of enumeration co…