Declarative Network Verification (2008)

by A Wang, P Basu, B T Loo, O Sokolsky