lilo

SpecForge是一个使用Lilo时序规范语言编写形式化规范的平台，提供了VSCode扩展，包含语法高亮、类型检查以及对混合系统的可满足性分析。