Going with the Flow: Parameterized Verification Using Message Flows.

Murali Talupur, Mark R. Tuttle

Browse the full FMCAD paper archive.