Transducer-based Algorithmic Verification of Retransmission Protocols over Noisy Channels
Unreliable communication channels are a practical reality. They add to the complexity of protocol design and verification. In this work, we consider noisy channels which can corrupt messages. We present an approach to model and verify protocols which combine error detection and error control to prov...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en_US |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://etd.iisc.ernet.in/2005/3340 http://etd.iisc.ernet.in/abstracts/4205/G25734-Abs.pdf |