結果 : automated code verification