Browsing Mathematics (Faculty of) by Author "Ashmore, Rylo"
Now showing items 1-1 of 1
-
Local Reasoning for Parameterized First Order Protocols
Ashmore, Rylo (University of Waterloo, 2019-08-14)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 systems. However, specifying many natural objects, ...