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

2:30 PM - 2:45 PM JST(5:30 AM - 5:45 AM UTC)

[A-10-04] Proposal of Discovering A Route Change Procedure of SDN Using Model Checking

○Ryu Takemasa¹, Yasuyuki Tsukada¹ (1. Kanto Gakuin Univ.)

Keywords:

Model Checking,SDN,NuSMV,Formal Methods