Supplementary Material for "Automatic Translation Of Data Flow Constraints Into Conjunctive Normal Form"

Name: Supplementary Material for "Automatic Translation Of Data Flow Constraints Into Conjunctive Normal Form"
Creator: Zenodo
Published: 2026-02-05T15:55:12+08:00

Zenodo2026-02-17 更新2026-05-26 收录

形式化验证

约束转换

数据链接：

https://zenodo.org/doi/10.5281/zenodo.18494950 数据链接链接失效反馈

官方服务：

资源简介：

Supplementary material for the paper "Automatic Translation Of Data Flow Constraints Into Conjunctive Normal Form". For more information, please see the README.md

本内容为论文《数据流约束自动转换为合取范式（Conjunctive Normal Form）》的补充材料。如需了解更多信息，请参阅README.md

提供机构：

Zenodo

创建时间：

2026-02-05