32 citations · 149 across the 42 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
Distributed Synthesis for Parameterized Temporal Logics
Swen Jacobs, Leander Tentrup, Martin Zimmermann
We consider the synthesis of distributed implementations for specifications in parameterized temporal logics such as PROMPT-LTL, which extends LTL by temporal operators equipped wi…