most citedPacket flow analysis in IP networks via abstract interpretation

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.NI2011★ 1 cited

Packet flow analysis in IP networks via abstract interpretation

Raghavan Komondoor, K. Vasanta Lakshmi, Deva P. Seetharam +1

Static analysis (aka offline analysis) of a model of an IP network is useful for understanding, debugging, and verifying packet flow properties of the network. There have been stat…