Browsing Computer science and engineering by Subject "Formal Semantics"
Now showing items 1-2 of 2
-
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 ... -
Programming Language Tools and Techniques for Computational Fabrication
Recent democratization of fabrication techniques has revolutionized manufacturing. Desktop versions of devices like 3D printers, laser cutters, and CNC mills are now available at affordable prices making them increasingly ...