Publication | Closed Access
J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols
27
Citations
21
References
2007
Year
Unknown Venue
EngineeringVerificationNetwork AnalysisSimulationModel CheckingFormal VerificationJ-sim Network SimulatorNetwork ProtocolsIntegrated EnvironmentSystems EngineeringModeling And SimulationSimulation LanguageInteraction ProtocolComputer EngineeringSoftware SimulationMobile ComputingComputer ScienceDistributed SimulationNetwork SimulationNetwork Communication ProtocolFormal MethodsSimulation Infrastructure
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.
| Year | Citations | |
|---|---|---|
Page 1
Page 1