?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=ProbNV%3A+probabilistic+verification+of+network+control+planes&rft.creator=Giannarakis%2C+N&rft.creator=Silva%2C+A&rft.creator=Walker%2C+D&rft.description=ProbNV+is+a+new+framework+for+probabilistic+network+control+plane+verification+that+strikes+a+balance+between+generality+and+scalability.+ProbNV+is+general+enough+to+encode+a+wide+range+of+features+from+the+most+common+protocols+(eBGP+and+OSPF)+and+yet+scalable+enough+to+handle+challenging+properties%2C+such+as+probabilistic+all-failures+analysis+of+medium-sized+networks+with+100-200+devices.+When+there+are+a+small%2C+bounded+number+of+failures%2C+networks+with+up+to+500+devices+may+be+verified+in+seconds.+ProbNV+operates+by+translating+raw+CISCO+configurations+into+a+probabilistic+and+functional+programming+language+designed+for+network+verification.+This+language+comes+equipped+with+a+novel+type+system+that+characterizes+the+sort+of+representation+to+be+used+for+each+data+structure%3A+concrete+for+the+usual+representation+of+values%3B+symbolic+for+a+BDD-based+representation+of+sets+of+values%3B+and+multi-value+for+an+MTBDD-based+representation+of+values+that+depend+upon+symbolics.+Careful+use+of+these+varying+representations+speeds+execution+of+symbolic+simulation+of+network+models.+The+MTBDD-based+representations+are+also+used+to+calculate+probabilistic+properties+of+network+models+once+symbolic+simulation+is+complete.+We+implement+the+language+and+evaluate+its+performance+on+benchmarks+constructed+from+real+network+topologies+and+synthesized+routing+policies.&rft.subject=Network+Verification%2C+Network+Simulation%2C+Probabilistic+verification%2C%0D%0AProbabilistic+Network+Analysis%2C+Control+Plane+Analysis%2C+Router+Configuration+Analysis&rft.publisher=Association+for+Computing+Machinery+(ACM)&rft.date=2021-08&rft.type=Proceedings+paper&rft.language=eng&rft.source=+++++In%3A++Proceedings+of+the+ACM+on+Programming+Languages+(PACMPL).++(pp.+90.1-90.30).++Association+for+Computing+Machinery+(ACM)%3A+New+York%2C+NY%2C+United+States.+(2021)+++++&rft.format=text&rft.identifier=https%3A%2F%2Fdiscovery.ucl.ac.uk%2Fid%2Feprint%2F10134268%2F1%2F3473595.pdf&rft.identifier=https%3A%2F%2Fdiscovery.ucl.ac.uk%2Fid%2Feprint%2F10134268%2F&rft.rights=open