Sprout: A Verifier for Symbolic Multiparty Protocols.

Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey

Browse the full CAV paper archive.