Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol.

Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani

Browse the full TACAS paper archive.