J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols
Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou · 2007
In this paper, we report our work on extending the J-Sim network simulator to be an integrated environment for both simulation and model checking of network protocols. We also present a case study in which we model-checked AODV in J-Sim.