SkySynth

系统随着实施而发展规范。如果需求难以完全形式化，则扩展测试以暴露缺失的约束。在形式推理可行的情况下，机器检查的证明与生成的代码共同演化，有助于防止违反预期行为的明显速度改进。

SkySynth 对于探索自动化专业化的系统研究人员和基础设施开发人员非常有用。演示的应用程序包括键值存储、分布式存储、推理引擎和路由。公布的收益取决于基准和工作量；采用综合系统仍需验证其实际部署需求。