SpecForge：用Lilo语言编写形式化规范

SpecForge – A Platform for Authoring Formal Specifications

SpecForge 是一个专为混合系统设计的形式化规范编写平台，核心是 Lilo 语言。它支持通过信号、参数和定义构建系统模型，并利用丰富的时序逻辑算子（如 always、eventually）描述复杂行为。配合 VSCode 扩展和 Python SDK，开发者可以直接在编辑器中进行规范监控、示例生成、反例搜索及格式导出。通过温度控制系统的实战案例，SpecForge 展示了如何快速验证系统是否满足安全约束，让形式化方法从理论走向工程实践。