1 citations · 2 across the 4 of their papers we have counts for
4 papers · 1 filter
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…
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…
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…
Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
Sarah Winter, Martin Zimmermann
HyperLTL model-checking enables the automated verification of information-flow properties for security-critical systems. However, it only provides a binary answer. Here, we introdu…