The Rocky Verification and Validation Manual presents a collection of verification and validation (V&V) cases that demonstrate some key capabilities of the Ansys Rocky product. The main purpose of this manual is to bring classical and relevant cases that either have known solutions (theoretical or analytical) or have experimental data available for correlation.

Providing these test cases enables Ansys Rocky users to prove the software's robustness to their own satisfaction, thereby building confidence in Rocky's solutions.

The cases presented in this manual may be used for additional verification of Rocky capabilities if applied to specific cases from users. To solve the DEM and SPH test cases, you must have a valid product license for Rocky. To solve the CFD-DEM test cases, you must also have a compatible Ansys license to run Ansys Fluent. Some of the test cases consist of simple problems that run quickly on less powerful computers; however, some do require the use of GPU and/or parallel computing to be processed. These latter cases are mainly those that require comparison with experimental data.

A continuous verification of Rocky is performed by the Numerical Development and Quality Assurance teams at ESSS as new functionalities are implemented and included in the Rocky software package. An update to this manual is published with every new product release and includes the latest results that are available.