Check and simulate: a case for incorporating model checking in network simulation

@article{Sobeih2004CheckAS,
  title={Check and simulate: a case for incorporating model checking in network simulation},
  author={Ahmed Sobeih and Mahesh Viswanathan and Jennifer C. Hou},
  journal={Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.},
  year={2004},
  pages={27-36}
}
Existing network simulators perform reasonably well in evaluating the performance of network protocols, but lack the capability of verifying and validating the correctness of network protocols. In this paper we have extended J-Sim - an open-source, component-based compositional network simulation environment - with the model checking capability to explore the state space created by a network protocol until either the entire state space is explored (if the state space is finite) or an error (e.g… CONTINUE READING

Similar Papers

Loading similar papers…