{"width":"100%","type":"rich","description":"\u524d\u63b2\u306e\u672c\u3068\u4e00\u7dd2\u306b\u8cfc\u5165\u3057\u305f\u306e\u304c\u3053\u306e\u6d0b\u66f8\u3067\u3059\u3002\u3069\u3053\u304b\u3067\u7d39\u4ecb\u3055\u308c\u3066\u3044\u305f\u306e\u3067\u3001\u3075\u3068\u3057\u305f\u6c17\u307e\u3050\u308c\u3067\u8cfc\u5165\u3057\u3066\u307f\u305f\u306e\u3067\u3059\u304c\u3001\u3053\u308c\u304c\u5927\u5f53\u305f\u308a\u3067\u3057\u305f\u3002Clarke \u5148\u751f\u306e \"Model Checking\" \u306f\u5185\u5bb9\u304c\u304e\u3063\u3057\u308a\u8a70\u307e\u3063\u3066\u3044\u308b\u305f\u3081\u3001\u7406\u89e3\u3057\u306a\u304c\u3089\u8aad\u307f\u9032\u3081\u308b\u306e\u306b\u304b\u306a\u308a\u306e\u30a8\u30cd\u30eb\u30ae\u30fc\u304c\u5fc5\u8981\u306a\u306e\u3067\u3059\u304c\u3001\u3053\u3061\u3089\u306f190\u30da\u30fc\u30b8\u307b\u3069\u306e\u5c11\u306a\u3044\u30da\u30fc\u30b8\u6570\u3067\u8981\u70b9\u3060\u3051\u3092\u3057\u3063\u304b\u308a\u307e\u3068\u3081\u3066\u66f8\u3044\u3066\u3044\u307e\u3059\u306e\u3067\u3001\u91cd\u8981\u306a\u90e8\u5206\u3092\u3057\u3063\u304b\u308a\u3068\u78ba\u8a8d\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002CTL \u3068 LTL \u306e\u8868\u73fe\u529b\u306e\u9055\u3044\u3068\u304b\u3001\u691c\u8a3c\u3059\u308b\u305f\u3081\u306e\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306b\u3064\u3044\u3066\u306e\u8a71\u306a\u3069\u304c\u3001\u30d4\u30f3\u30dd\u30a4\u30f3\u30c8\u3067\u9069\u5207\u306a\u4f8b\u3068\u30bb\u30c3\u30c8\u3067\u8a18\u8ff0\u3055\u308c\u3066\u304a\u308a\u3001\u8aad\u3093\u3060\u3060\u3051\u3067\u3059\u3063\u3068\u982d\u306b\u5165\u3063\u3066\u304f\u308b\u826f\u66f8\u3067\u3057\u305f\u3002\u306a\u304a\u3001\u2026","author_name":"epics","image_url":"http://ecx.images-amazon.com/images/I/41ZAe5afDSL.jpg","categories":["\u30e2\u30c7\u30eb\u691c\u67fb","\u66f8\u8a55"],"url":"https://gamescripting.hatenablog.jp/entry/20061124/p3","version":"1.0","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fgamescripting.hatenablog.jp%2Fentry%2F20061124%2Fp3\" title=\"Systems and Software Verification - Game Scripting Memo\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","blog_title":"Game Scripting Memo","height":"190","published":"2006-11-24 00:00:02","provider_url":"https://hatena.blog","provider_name":"Hatena Blog","author_url":"https://blog.hatena.ne.jp/epics/","title":"Systems and Software Verification","blog_url":"https://gamescripting.hatenablog.jp/"}