@inproceedings{44dcf6986b7e44d5bc4ce548b8ec82b5,
title = "J-Sim: An integrated environment for simulation and model checking of network protocols",
abstract = "In this paper, we report our work [24, 26] on extending the J-Sim network simulator [13] to be an integrated environment for both simulation and model checking of network protocols. We also present a case study in which we modelchecked AODV in J-Sim.",
author = "Ahmed Sobeih and Mahesh Viswanathan and Darko Marinov and Hou, {Jennifer C.}",
year = "2007",
doi = "10.1109/IPDPS.2007.370519",
language = "English (US)",
isbn = "1424409101",
series = "Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM",
booktitle = "Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM",
note = "21st International Parallel and Distributed Processing Symposium, IPDPS 2007 ; Conference date: 26-03-2007 Through 30-03-2007",
}