Model-Checking Techniques for Reliable Communication over Unreliable Media
Main Article Content
Abstract
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
Article Details
How to Cite
Saleem Vighio, & Anders P. Ravn. (2011). Model-Checking Techniques for Reliable Communication over Unreliable Media . Sindh University Research Journal - SURJ (Science Series), 43(1). Retrieved from https://sujo.usindh.edu.pk/index.php/SURJ/article/view/6080
Issue
Section
Articles