1 citations · 1 across the 4 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Temporal Logics with Language Parameters
Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz
Computation Tree Logic (CTL) and its extensions CTL* and CTL+ are widely used in automated verification as a basis for common model checking tools. But while they can express many…
cs.LO2019
Propositional Dynamic Logic for Hyperproperties
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Information security properties of reactive systems like non-interference often require relating different executions of the system to each other and following them simultaneously.…