Dynamic Symbolic Analysis

Verification of Message Passing Systems

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.