1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 1 cited
Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis
K Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor
Counter systems are a well-known and powerful modeling notation for specifying infinite-state systems. In this paper we target the problem of checking temporal properties of counte…
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…