graph-based-verification

(1)