Back to Results
First PageMeta Content
Logic / Mathematical logic / Computing / Formal methods / Predicate logic / Finite model theory / Computer programming / Invariant / First-order logic / Daikon / FO / Chord


1 Finding Almost-Invariants in Distributed Systems Maysam Yabandeh‡ , Abhishek Anand† , Marco Canini∗ , and Dejan Kosti´c∗ ∗ EPFL, Lausanne, Switzerland † Cornell University, Ithaca NY, USA, (work done duri
Add to Reading List

Document Date: 2014-02-09 12:29:53


Open Document

File Size: 147,11 KB

Share Result on Facebook