Local Reasoning for Parameterized First Order Protocols

Rylo Ashmore, Arie Gurfinkel, Richard Trefler

First Order Logic (FOL) is a powerful reasoning tool for program verification. Recent work on Ivy shows that FOL is well suited for verification of parameterized distributed system…