結果 : verification examples computer science