DefinePK hosts the largest index of Pakistani journals, research articles, news headlines, and videos. It also offers chapter-level book search.
Title: Model-Checking Techniques for Reliable Communication over Unreliable Media
Authors: Saleem Vighio, Anders P. Ravn
Journal: Sindh University Research Journal - Science Series (SURJ)
Publisher: University of Sindh, Jamshoro
Country: Pakistan
Year: 2011
Volume: 43
Issue: 1
Language: English
Keywords: Communication Policies; Model-Checking; Verification
We present a simple approach to modeling and verification of the well-known Alternating Bit Protocol using the model checker UPPAAL to investigate different communication assumptions of the protocol, for instance that the messages can be lost or corrupted during the transmission. We verify safety and liveness properties of the protocol for reliable communication and ensure that the protocol satisfies these properties even in the case of message failures
 
Loading PDF...
Loading Statistics...