Formal Modeling of Generalized Sliding Window Protocol in Promela using Spin Root Model-Checker
Arpit Gupta, Anil Kumar, Vinod Beniwal, Rama Kant · International Journal of Computer Applications · 2018
Sliding Window Protocols are an essential means of packetform data transmission over the network.Having fixed window widths, it suffers from certain drawbacks which can be improved using concept of generalization of Sliding Window protocol.The generalized approach of sliding window protocol can have any combination of window sizes between Go-back-N and Selective-Repeat protocols.This paper presents the formal model checking of both Go-Back-N and Selective-Repeat protocols in ProMeLa using SPIN Root model-checker tool which would ultimately proceed in the verification of generalized version of sliding window protocol.