Analysis of Message Passing Programs Using SMT-Solvers.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg

Browse the full ATVA paper archive.