SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs [chapter]

Borzoo Bonakdarpour, Sandeep S. Kulkarni
2008 Lecture Notes in Computer Science  
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
more » ... ted fault-tolerant program via a symbolic implementation of respective algorithms. ⋆ This is an extended version of a
doi:10.1007/978-3-540-85361-9_16 fatcat:zdblv2nv6bfbpcucfuf3lesgeu