VeriCon: towards verifying controller programs in software-defined networks.
Thomas BallNikolaj BjørnerAaron GemberShachar ItzhakyAleksandr KarbyshevMooly SagivMichael SchapiraAsaf ValadarskyPublished in: PLDI (2014)
Keyphrases
- free software
- social networks
- control system
- software systems
- source code
- software tools
- computer networks
- neural network
- program slicing
- control flow
- closed loop
- real time
- software architecture
- computer systems
- software development
- software testing
- user interface
- programming environments
- java programs
- computer software
- control theory
- programming environment
- heterogeneous networks
- network structure
- software design
- data flow
- network analysis
- optimal control
- model checking
- complex networks