2007-11-27 UPPAAL 研究室 今日もUPPAALと格闘してたのだが、どうしても欲しい結果が出せない。 次善策として、正しく動いていることを証明するには弱いけど、 この結果が出てるならまあ大丈夫だろうという検証結果を出すことはどうにかできた。 でもこれじゃあかんと思うんだがなぁ。修論のネタにするには不適切だろうなぁ。 未だにFDR2対応の記述はできていないところも問題。