51 citations · 65 across the 9 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.DC2017
Inferring Formal Properties of Production Key-Value Stores
Edgar Pek, Pranav Garg, Muntasir Raihan Rahman +3
Production distributed systems are challenging to formally verify, in particular when they are based on distributed protocols that are not rigorously described or fully understood.…
cs.LO2017★ 51 cited
Horn-ICE Learning for Synthesizing Invariants and Contracts
Deepak D'Souza, P. Ezudheen, Pranav Garg +2
We design learning algorithms for synthesizing invariants using Horn implication counterexamples (Horn-ICE), extending the ICE-learning model. In particular, we describe a decision…