Overview of all RERS Challenges
In addition to tracks on synthesized sequential and parallel programs, RERS 2019 inlcudes new tracks featuring industry-based programs.
Overall, the challenge features CTL, LTL, and Reachability properties. It is co-located with TACAS 2019 and takes place in Prague, Czech Republic.
More details about RERS 2019 can be found here.
|
The challenge features two tracks for sequential benchmarks, LTL and Reachability, as well as LTL and CTL tracks for parallel benchmarks.
RERS 2018 is co-located with ISoLA 2018 and takes place in Limassol, Cyprus. More details about RERS 2018 can be found here.
|
The challenge has two sections for sequential benchmarks, LTL and Reachability, and an LTL section for parallel benchmarks.
The challenge is colocated with ISSTA/SPIN 2017 and takes place in Santa Barbara, CA, USA. More details about RERS 2017 can be found here.
|
The challenge has two sections for sequential benchmarks, LTL and Reachability, and an LTL section for parallel benchmarks.
The challenge is colocated with ISoLA 2016 and takes place in Corfu, Greece. More details about RERS 2016 can be found here.
|
The challenge has two sections, White-Box and Monitoring.
The challenge was colocated with RV 2015 and takes place in Vienna, Austria. More details about RERS 2015 can be found here.
|
The challenge had two sections, namely White-Box and Extended White-Box.
The challenge was colocated with ISoLA 2014 which took place in Corfu, Greece. More details about RERS 2014 can be found here.
|
The challenge had different sections including separate Black-Box, White-Box and Grey-Box challenges. The challenge was colocated with ASE 2013 which took place in Silicon Valley, California, USA. More details about RERS 2013 can be found here.
|
The challenge focussed on the analysis of Event Condition Action systems. The challenge was colocated with ISoLA 2012 which took place in Crete, Greece. More details about RERS 2012 can be found here.
|
RERS 2010The challenge focussed on active automata learning. The challenge was colocated with ISoLA 2010 which took place in Crete, Greece.
|