3 papers
cs.LO2026
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
Bruno Maria René Gonzalez, Peter Gjøl Jensen, Stefan Schmid +2
Petri nets are a modeling formalism capable of describing complex distributed systems and there exists a large number of both academic and industrial tools that enable automatic ve…
cs.LO2025
Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond
Sarah Winter, Martin Zimmermann
Model-checking HyperLTL, a temporal logic expressing properties of sets of traces with applications to information-flow based security and privacy, has a decidable, but TOWER-compl…
cs.LO2024
Synchronous Team Semantics for Temporal Logics
Andreas Krebs, Arne Meier, Jonni Virtema +1
We present team semantics for two of the most important linear and branching time specification languages, Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). With team s…