In this paper, we introduce MOTION (MOdeling and simulaTIng mObile adhoc Networks), a Java application in which the behavior of MANETs is modeled by means of an Abstract State Machine representation, and then simulated with the simulation engine ASMETA. MOTION has the twofold ability to formally prove system’s properties as well as to simulate the system behavior.
A Tool for the Analysis of MANET Routing Protocols based on Abstract State Machines (book version),
covino
Writing – Original Draft Preparation
;pani;bianchi;pizzutilo
2021-01-01
Abstract
In this paper, we introduce MOTION (MOdeling and simulaTIng mObile adhoc Networks), a Java application in which the behavior of MANETs is modeled by means of an Abstract State Machine representation, and then simulated with the simulation engine ASMETA. MOTION has the twofold ability to formally prove system’s properties as well as to simulate the system behavior.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.