message passing

Parametric Verification of Distributed Systems

Distributed systems are often programmed in a manner that is parametric in the number of processes, endpoints, or nodes. In this project, we envisage to build an analysis framework for large distributed systems that centres on exploiting inherent paremetricity to enable scalable verification. Consider the following example code: The project is funded by the DST-ECRA grant