Modeling Asynchronous Message Passing for C Programs.

Everett Morse, Nick Vrvilo, Eric Mercer, Jay McCarthy

Browse the full VMCAI paper archive.