What verifications are defined for risks?

This description relates to the default definition of the configuration file and reports.

Report name

Verify semantics of risks

Verifications to be performed

The report verifies whether: