Verification Blind Spot

A system behavior for which no explicit verification strategy exists.