Actor languages decouple communication from synchronization, which makes them suitable
for distributed and scalable applications with flexible synchronization patterns, but also …

Abstract Dynamic Partial Order Reduction (DPOR) is a powerful technique used in
verification and testing to reduce the number of equivalent executions explored. Two …

We present a comprehensive model of railway operations written in the active object
language ABS. The model is based on specifications taken from the rulebooks of Deutsche …

Non-determinism in a concurrent or distributed setting may lead to many different runs or
executions of a program. This paper presents a method to reproduce a specific run for non …

Abstract Dynamic Partial Order Reduction (DPOR) algorithms are used in stateless model
checking of concurrent programs to avoid the exploration of equivalent execution …

Abstract Software-Defined Networking (SDN) is a recent networking paradigm that has
become increasingly popular in the last decade. It gives unprecedented control over the …

Dynamic Partial Order Reduction (DPOR) algorithms are used in stateless model checking
to avoid the exploration of equivalent execution sequences. DPOR relies on the notion of …

This article addresses the long-standing problem of program correctness for programs that
describe systems of parallel executing processes. We propose a new method for proving …

Understanding the runtime behavior of concurrent programs is a challenging task. A popular
approach is to establish a happens-before relation via vector clocks. Thus, we can identify …

Abstract Software-Defined Networking (SDN) is a networking paradigm that has become
increasingly popular in the last decade. The unprecedented control over the global …