2,304 followers
@tmiya_ あります. ただし, 完全かと言われるとどうなんでしょう. 完全=execution path coverage 100% ならいい気がします. モデル検査なので狭義の意味の静的解析じゃないかもしれませんが→ http://t.co/3wPaM7Qh
@tmiya_ あります. ただし, 完全かと言われるとどうなんでしょう. 完全=execution path coverage 100% ならいい気がします. モデル検査なので狭義の意味の静的解析じゃないかもしれませんが→ http://t.co/3wPaM7Qh