google/netkat

Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks

语言：C++ · GitHub 星标：42 · Fork：10

话题：dsl · network-analysis · network-programming · networking · verification

在 GitHub 上查看原仓库