JADE: Just A Deterministic Emulator to Support the Verification of Protocol Implementations.

Tom Rousseaux, Alix Temmerman, Olivier Bonaventure

Browse the full Networking paper archive.