Abstract Evaluation of scientific contributions can be done in many different ways. For the
various research communities working on the verification of systems (software, hardware, or …

This paper covers the Rigorous Examination of Reactive Systems (RERS) Challenge 2019.
For the first time in the history of RERS, the challenge features industrial tracks where …

This paper reviews the seemingly inevitable trend that software tools are no longer just a
means for supporting the design, construction, and analysis of (large-scale) systems, but …

This paper (1) summarizes the history of the RERS challenge for the analysis and
verification of reactive systems, its profile and intentions, its relation to other competitions …

This paper is dedicated to the Rigorous Examination of Reactive Systems (RERS)
Challenge 2018. We focus on changes and improvements compared to previous years …

RERS is an annual verification challenge that focuses on LTL and reachability properties of
reactive systems. In 2017, RERS was extended to a one day workshop that in addition to the …

Bottleneck of the validation and evaluation of analysis and verification tools for distributed
systems is the shortage of benchmark problems. Specifically designed benchmark problems …

Formal methods (in a broad sense) have been around almost since the beginning of
computer science. Nonetheless, there is a perception in the formal methods community that …

As General and Program Chairs we would like to welcome you to the proceedings of ISoLA
2022, the 11th International Symposium on Leveraging Applications of Formal Methods …

Stutter invariant properties play a special role in state-based model checking: they are the
properties that can be checked using partial order reduction (POR), an indispensable …