WhiteRabbit: Scalable Software-Defined Network Data-Plane Verification Method Through Time Scheduling.
Takahiro ShimizuNaoya KitagawaKohta OhshimaNariyoshi YamaiPublished in: IEEE Access (2019)
Keyphrases
- verification method
- temporal logic
- model checking
- software systems
- scheduling problem
- software design
- three dimensional
- software development
- user interface
- software projects
- highly scalable
- case study
- source code
- software architecture
- development process
- scheduling algorithm
- real time systems
- software tools
- parallel processors
- round robin
- web scale
- software package
- database systems
- single image
- test cases