chris3will's homepage
recording what I did and will do, maybe.
View On GitHub
chris3will's homepage
bilibili
reading list
Network Verification
VeriFlow, network verification with SDN.
config2spec, both work in verification and synthesis
Network synthesis