Skip to main content

SYCRAFT: A Tool for Automated Synthesis of Fault-Tolerant Distributed Programs

Publication Type
Year of Publication
2008
Conference/Journal Name
International Conference on Concurrency Theory (CONCUR)
Page Numbers
Publisher
ACM
Abstract
We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and an invariant. Each process is specified as a set of actions in a guarded command language,
a set of variables that the process can read, and a set of variables that the process can write. Given a set of fault actions and a specification, the tool transforms the input distributed fault-intolerant program into a distributed fault-tolerant program via a symbolic implementation of respective algorithms.