In this paper we show how symbolic probabilistic analysis techniques for finite state systems can be successfully used to perform quantitative verification of properties and performance evaluation of communication protocols and, more in general, of entire protocol stacks and complete communication networks. In particular, we first outline our approach to the problem of verifying communication protocols, and then we present an application example of the proposed methodology to the simple Alternating Bit Protocol

Property verification of communication protocols based on probabilistic reachability analysis / Baldi, Mario; Macii, Enrico; Poncino, Massimo. - 3:(1996), pp. 1143-1146. (Intervento presentato al convegno MWSCAS'96: IEEE Midwest Symposium on Circuits and Systems tenutosi a Ames, IA (USA) nel 18-21 Aug 1996) [10.1109/MWSCAS.1996.593061].

Property verification of communication protocols based on probabilistic reachability analysis

BALDI, MARIO;MACII, Enrico;PONCINO, MASSIMO
1996

Abstract

In this paper we show how symbolic probabilistic analysis techniques for finite state systems can be successfully used to perform quantitative verification of properties and performance evaluation of communication protocols and, more in general, of entire protocol stacks and complete communication networks. In particular, we first outline our approach to the problem of verifying communication protocols, and then we present an application example of the proposed methodology to the simple Alternating Bit Protocol
1996
0780336364
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/1415655
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo