Dione: A Protocol Verification System Built with Dafny for I/O Automata.

Chiao Hsieh, Sayan Mitra

Browse the full IFM paper archive.