Dynamic Symbolic Analysis

Message passing is pervasive – from inter processs communication in multicores to high performance computing, message passing plays a central role. In this project, we envison to create a framework to analyse message passing systems.