Showing 2025 · cs.PLShow all
3 papers · 2 filters
cs.PL2025
Pacing Types: Safe Monitoring of Asynchronous Streams
Florian Kohn, Arthur Correnson, Jan Baumeister +1
Stream-based monitoring is a real-time safety assurance mechanism for complex cyber-physical systems such as unmanned aerial vehicles. In this context, a monitor aggregates streams…
cs.PL2025
Coinductive Proofs for Temporal Hyperliveness
Arthur Correnson, Bernd Finkbeiner
Temporal logics for hyperproperties have recently emerged as an expressive specification technique for relational properties of reactive systems. While the model checking problem f…
cs.PL2025
Finding Hyperbugs using Symbolic Execution
Arthur Correnson, Tobias Niessen, Bernd Finkbeiner +1
Many important hyperproperties, such as refinement and generalized non-interference, fall into the class of hyperproperties and require, for each execution trace o…