FTSyn: a framework for automatic synthesis of fault-tolerance

Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora. FTSyn: a framework for automatic synthesis of fault-tolerance. STTT, 10(5):455-471, 2008. [doi]

Abstract

Abstract is missing.