[A-10] システム数理と応用

14:30 〜 14:45

[A-10-04] モデル検査を用いたSDNの経路変更手順の発見に関する提案

○竹政 龍¹、塚田 恭章¹ (1. 関東学院大学)

キーワード：

モデル検査、SDN、NuSMV、形式手法