2007-11-26 UPPAAL 研究室 DISTREBUTED SUMは時間検証とかそういったことのないアルゴリズムなので、 UPPAALの特性を活かすにはちょっと役不足。 というわけで今やってる産学協同研究っぽいものをサンプルケースとして入力してみたんだが、 これがどういうわけかうまくいかない。 半分以上機能を落としてやっと多少なりとも時間を使った検証のサンプルはできたのだが、 これだけじゃ研究の役には立たないぞ。 ちょっと頭を抱えざるを得ない。