Giters
Charlie (916267142)

916267142

Geek Repo

1

followers

3

following

8

stars

Company:Xi‘an Jiaotong university

Location:Xi'an China

Home Page:https://xjtu-netverify.github.io/people/kangning/

Github PK Tool:Github PK Tool

Charlie's repositories

z3_network_guided

License:MITStargazers:1Issues:0Issues:0

NetSMT

License:MITStargazers:1Issues:0Issues:0

trailblazer

Stargazers:1Issues:0Issues:0

tiramisu

tiramisu - control plane verification tool

License:Apache-2.0Stargazers:1Issues:0Issues:0

config2spec

Mining Network Specifications from Network Configurations

Stargazers:1Issues:0Issues:0

DES

Language:C++Stargazers:2Issues:0Issues:0

RSA

Language:C++Stargazers:1Issues:0Issues:0

synet-plus

Practical Network-Wide Configuration Synthesis with Autocompletion

License:LGPL-3.0Stargazers:1Issues:0Issues:0