Structural Correctness
13 days ago
- #Colored Petri Nets
- #Verification Tools
- #Graph-Structured Systems
- 类似类型系统和Bazel这样的图结构系统使用节点和边来描述关系，从而支持正确性检查和构建自动化。
- 有色Petri网（CPNs）将此扩展到状态管理，在图模型中统一状态转换和不变量，以防止有状态应用（如网络爬虫）中的错误。
- 定义性图系统将结构描述与验证相结合，强制要求明确声明依赖关系和关联关系，这些声明既用于指导行为也服务于验证目的。