Verification of Software Network Functions with No Verification Expertise

Arseniy Zaostrovnykh
Software network functions (NFs), such as a network address translator, load balancer, or proxy, promise to bring flexibility and rapid innovation to computer networks and to reduce operational costs. However, continuous updates and flexibility typically come with the risk of bugs. As networks are a critical component of modern computing (e.g., the Internet), both users and operators demand that they be as reliable as economically possible. One way to guarantee reliability is by formal verification....
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.