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…

ASC HPC Multi-physics codes report success of ROSE automated GPU Optimizations.

A ROSE Binary Installer was released to drastically reduce installation time and complexity.

ROSE follow on funding was awarded for the Strategic Partnership Program (SPP) for source and binary Program Analysis

ROSE was selected for the FORTRAN Loop Fusion project.

ROSE was chosen for the Environmental Security Technology Certification Program (ESTCP).

ROSE-based Code Thorn tool garners first place again at Rigorous Examination of Reactive Systems (RERS) Challenge.

ROSE won 1st place in the Sequential LTL Track RERS Competition.

ROSE was named part of the Exascale Computing Project (ECP) team.

ROSE is widely used by industry, government, academia, and within U.S. Department of Energy (DOE) national labs. Specifically, ROSE has been used for research work on large-scale DOE applications, and because of this, recent work has focused on making ROSE…