A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf
.
SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs
[chapter]
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
doi:10.1007/978-3-540-85361-9_16
fatcat:zdblv2nv6bfbpcucfuf3lesgeu