model checking

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

Dynamic Symbolic Verification of MPI Programs

Click the Cite button above to demo the feature to enable visitors to import publication metadata into their reference management software. Click the Slides button above to demo Academic’s Markdown slides feature. --

Zeus: Analyzing Safety of Smart Contracts

Click the Cite button above to demo the feature to enable visitors to import publication metadata into their reference management software. Click the Slides button above to demo Academic’s Markdown slides feature. --

Unfolding-based Partial Order Reduction

Click the Cite button above to demo the feature to enable visitors to import publication metadata into their reference management software. Click the Slides button above to demo Academic’s Markdown slides feature. --