|
|
|
|
|
|
by rgovostes
2554 days ago
|
|
|
Microsoft Research has published several papers on the topic of formal verification of network configurations. In particular, see "Checking Beliefs in Dynamic Networks" by (coauthors and) Nuno Lopes, who is also to thank for making sure your compiler's optimizations are valid. Two great ideas involving practical uses of SMT solvers. https://www.microsoft.com/en-us/research/project/network-ver... |
|
|