SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs.

Borzoo Bonakdarpour, Sandeep S. Kulkarni

Browse the full CONCUR paper archive.