Projects per year
Search results
-
Active
NeTS: Medium: Foundations and Applications of Modular Verification of Networks
Walker, D. P. (PI)
NSF - National Science Foundation
10/1/23 → 9/30/27
Project: Research project
-
Collaborative Research: FMitF: Track I: Specifying and Verifying Network-wide Properties of Dynamic Data Planes
Walker, D. P. (PI)
NSF - National Science Foundation
10/1/22 → 9/30/25
Project: Research project
-
IMR: MT: Tools for Programming Distributed Data-plane Measurements
Walker, D. P. (PI)
NSF - National Science Foundation
9/1/22 → 8/31/25
Project: Research project