nricci/fault-tolerant-synthesizer
A tool for synthesizing fault tolerant programs from dCTL specifications.
Discovered public repositories for nricci in the GitHub catalog.
A tool for synthesizing fault tolerant programs from dCTL specifications.
YAWL2FSP translation tool.