Kuai: A model checker for software-defined networks

Majumdar, Rupak and Tetali, Sai Deep and Wang, Zilong
(2014) Kuai: A model checker for software-defined networks.
In: Proc. of Formal Methods in Computer-Aided Design (FMCAD 2014).
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item