CSP failures-divergences model
ID: csp-failures-divergences-model
Record CSP stable failures and CSP divergences, treating behaviour after a CSP divergence as unrestricted. This can detect both stable refusal of progress and endless internal activity.
New to topics? Read the docs here!