Kuai: A model checker for software-defined networks.

Rupak Majumdar Sai Deep Tetali Zilong Wang

Published in: FMCAD (2014)

Keyphrases

model checker
formal methods
model checking
formal verification
test suite
description language
software architecture
symbolic model checking
temporal logic
software systems
test cases
software development
source code
case study
formal specification
machine learning
ai planning
software engineering
genetic algorithm