Static Analysis tools have rules for several code quality issues and the...
Production distributed systems are challenging to formally verify, in
pa...
We design learning algorithms for synthesizing invariants using Horn
imp...
We propose a framework for synthesizing inductive invariants for incompl...