Skip to main content

Automated Addition of Fault-tolerance under Synchronous Semantics