J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols

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.

• Type: Conference
• Year: 2007
• Where: IPPS
• Authors: Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
• Keywords: Distributed And Parallel Computing, Integrated Environment, IPPS 2007, J-Sim Network Simulator, Model Checking