結果 : model checking techniques