Date: 2014-02-09 12:29:53Logic 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 duriAdd to Reading ListSource URL: perso.uclouvain.beDownload Document from Source Website File Size: 147,11 KBShare Document on Facebook
|