by
Sasha Shkrebets
—
published
Jun 08, 2021
—
last modified
Mar 20, 2023 08:10 AM
In this module, we'll be looking at another control framework built using Pyretic called "Kinetic". Kinetic is a domain-specific language embedded in Pyretic that allows programmers and network operators to automatically verify the correctness properties of the control program. Your previous experience with Pox and Pyretic should provide you with very useful experience and perspective for comparing the three ways of programming a controller. In the assignment, we ask you to compare Kinetic to either Pox or Pyretic, so the experience you gained from those assignments should prove very useful.
Задачи обучения
Describe the different types of ways to verify the correctness of a network configuration and behavior.
Distinguish between methods of checking assertions in model checking.
Write control programs and automatically model check them using Kinetic.
Located in
Users
/
…
/
Бакалавриат
/
Dr. Nick Feamster - Software Defined Networking (Coursera)
