Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover.

Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson

Browse the full SEFM paper archive.