Software Design Laboratory
MichianTech
Home
Research
Publications
Projects
Tools
Conferences
People
Faculty
Students
Open Positions
Seminar
Tools
1) Fault-Tolerance Synthesizer (
FTSyn
)
2) Distributed FTSyn (
D-FTSyn
)
3) Standalone
SAT2CNF