1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.SE2021★ 1 cited
Compositional Verification of Smart Contracts Through Communication Abstraction (Extended)
Scott Wesley, Maria Christakis, Jorge A. Navas +3
Solidity smart contracts are programs that manage up to 2^160 users on a blockchain. Verifying a smart contract relative to all users is intractable due to state explosion. Existin…
cs.LO2019
Symmetry Reduction for the Local Mu-Calculus
Kedar S. Namjoshi, Richard J. Trefler
Model checking large networks of processes is challenging due to state explosion. In many cases, individual processes are isomorphic, but there is insufficient global symmetry to s…
cs.LO2019
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…