Верификация мультиагентной модели протокола скользящего окна

Model Checking Multi-agent Sliding Window Protocol

Article's language
Russian
Abstract
Many variants of the communication sliding window protocol were specified and verified using various techniques like theorem proving, model checking and their combinations. In this paper we consider a specification of the Sliding window protocol as a multi-agent affine model. Temporal and epistemic properties of the protocol are expressed in Logic of Knowledge and Time.
DOI
10.31144/si.2307-6410.2013.n1.p35-48
Pages
35-48
File
garanina.pdf118.54 KB
Number