On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony.

Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer

Browse the full CAV paper archive.