Archivio Istituzionale della RicercaIn 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
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11583/1415655
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo