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.