結果 : model checking in software engineering