1 citations · 1 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
A Navigation Logic for Recursive Programs with Dynamic Thread Creation
Roman Lakenbrink, Markus Müller-Olm, Christoph Ohrem +1
Dynamic Pushdown Networks (DPNs) are a model for multithreaded programs with recursion and dynamic creation of threads. In this paper, we propose a temporal logic called NTL for re…
cs.LO2022★ 1 cited
Deciding Asynchronous Hyperproperties for Recursive Programs
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
We introduce a novel logic for asynchronous hyperproperties with a new mechanism to identify relevant positions on traces. While the new logic is more expressive than a related log…