A Verification Methodology for Infinite-State Message Passing Systems.

Christoph Sprenger, Krzysztof Worytkiewicz

Browse the full MEMOCODE paper archive.