Summary
Report on testing/verifications/failures/violations for advanced patterns
More information & hyperlinks