Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels.

Jay Thakkar Aditya Kanade Rajeev Alur

Published in: FMOODS/FORTE (2013)

Keyphrases

cryptographic protocols
model checking
multi channel
noise free
protocol specification
communication protocols
signature verification
noisy data
packet delivery
face verification
compressed video
formal verification
asynchronous circuits
data transmission
communication protocol
missing data
web services