Browsing Computer science and engineering by Subject "Solver-Aided Host Language"
Now showing items 1-1 of 1
-
Formal Semantics and Scalable Verification for the Border Gateway Protocol using Proof Assistants and SMT Solvers
To reliably and securely route traffic across the Internet, Internet Service Providers (ISPs) must configure their Border Gateway Protocol (BGP) routers to implement policies restricting how routing information can be ...