Verification of Message Passing Systems
![](/project/verification-of-message-passing-systems/featured_hu83c028124226b858dbea9f1ea3838cbe_24911_720x2500_fit_q75_h2_lanczos.webp)
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. In particular:
-
Create efficient dynamic symbolic encodings for VCs in message passing programs
-
Exploit the symmetry and parametricity to scale up the verification problem.
The project is funded by the DST-ECRA grant