31 citations · 111 across the 33 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
Polyteam Semantics
Miika Hannula, Juha Kontinen, Jonni Virtema
Team semantics is the mathematical framework of modern logics of dependence and independence in which formulae are interpreted by sets of assignments (teams) instead of single assi…