Incorporating Bounded Model Checking in Network Simulation : Theory , Implementation and Evaluation

Existing network simulators perform reasonably well in evaluating the performance of network protocols, but lack the capability of verifying the correctness of network protocols. In this paper, we present our ongoing research on extending J-Sim — an open-source, component-based compositional network simulation environment — with the model checking… (More)