Blog Archives

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

Posted in News