In this paper we present the RERS challenge 2015, a freestyle program analysis challenge on reactive systems to evaluate the effectiveness of different validation and verification techniques. It brings together researchers from different areas including static analysis, model checking, theorem proving, symbolic execution, and testing. The challenge characteristics and set-up are discussed, while special attention is given to the Runtime Verification track that was newly introduced.
CITATION STYLE
Geske, M., Isberner, M., & Steffen, B. (2015). Rigorous examination of reactive systems: The RERS challenge 2015. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9333, pp. 423–429). Springer Verlag. https://doi.org/10.1007/978-3-319-23820-3_28
Mendeley helps you to discover research relevant for your work.