Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

RERS 2018: CTL, LTL, and reachability

: Jasper, Marc; Mues, Malte; Schlüter, Maximilian; Steffen, Bernhard; Howar, Falk


Margaria-Steffen, T.:
Leveraging applications of formal methods, verification and validation. 8th International Symposium, ISoLA 2018. Pt.2: Verification : Limassol, Cyprus, November 5-9, 2018; Proceedings
Cham: Springer International Publishing, 2018 (Lecture Notes in Computer Science 11245)
ISBN: 978-3-030-03420-7 (Print)
ISBN: 978-3-030-03421-4 (Online)
ISBN: 3-030-03420-8
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) <8, 2018, Limassol>
Fraunhofer ISST ()

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 again provided a large variety of verification benchmarks that foster the comparison of validation tools while featuring both sequential and parallel programs. In addition to reachability questions, the RERS Challenge is known for its linear temporal logic (LTL) properties, and RERS’18 extends the portfolio of verification tasks to computational tree logic (CTL). Modifications compared to the previous iteration include an enhanced generation of sequential benchmarks, an improved automation of the construction of parallel benchmarks, a redesigned penalty for wrong answers, and the addition of CTL properties. We illustrate our newly applied generation of parallel benchmarks in detail.