Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Formal Modelling and Verification of Software Defined Network   In cloud computing, software-defined network (SDN) gaining more attention due
to its advantages in network configuration to improve network performance and
network monitoring. SDN addresses an issue of static architecture in
traditional networks by allowing centralised control of a network system. SDN
contains centralised network intelligence module which separates a process of
forwarding packets (data plane) from packet routing process (control plane). It
is essential to ensure the correctness of SDN due to secure data transmitting
in it. In this paper. Model-checking is chosen to verify an SDN network. The
Computation Tree Logic (CTL) and Linear Temporal Logic (LTL) used as a
specification to express properties of an SDN. Then complete SDN structure is
defined formally along with its Kripke structure. Finally, temporal properties
are analysed against the SDN Kripke model to assure the properties of SDN is
correct.

29
The categories of this paper are: funct-an
20
The categories of this paper are: acc-phys
27
The categories of this paper are: comp-gas
37
The categories of this paper are: supr-con
24
The categories of this paper are: dg-ga
5
The categories of this paper are: gr-qc
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
23
The categories of this paper are: solv-int
22
The categories of this paper are: chao-dyn
17
The categories of this paper are: q-fin
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
3
The categories of this paper are: physics
26
The categories of this paper are: bayes-an
9
The categories of this paper are: nlin