April 6-7, 2019: ROSE team member Markus Schordan captures first place.

April 6-7, 2019: ROSE team member Markus Schordan captures first place in the ranking-based categories Sequential Reachability and Sequential LTL (Linear Temporal Logic) in the RERS Challenge (Rigorous Examination of Reactive Systems) with the ROSE software verification tool CodeThorn.This international competition pits teams against each other to find errors in large C applications (up to 1M LOC). Congratulations to Markus Schordan for winning in the RERS Challenge 2019. RERS was one of 16 competitions in the TOOLympics at TACAS 2019 in Prague, Czech Republic.

Posted in News