Sycraft

swMATH8199MaRDI QIDQ20209FDOQ20209

Author name not available (Why is that?)

Official website: http://www.cse.msu.edu/~borzoo/sycraft/

Cited In (9)

• MR4UM: a framework for adding fault tolerance to UML state diagrams
• Symbolic synthesis of masking fault-tolerant distributed programs
• Automating the addition of fault tolerance with discrete controller synthesis
• Automated constraint-based addition of nonmasking and stabilizing fault-tolerance
• The complexity of automated addition of fault-tolerance without explicit legitimate states
• MR4UM
• Vertaf
• BDDNOW
• Synthesizing bounded-time 2-phase fault recovery

This page was built for software: Sycraft