Formal Functional Equivalence

版本 2.2 (171.4 KB) 作者: Pat Canny
This project provides a set of utilities for performing "formal functional equivalence," which is a static analysis-based technique to prove
0.0
(0)
10.0 次下载
更新时间 2025/5/17
在 GitHub 上查看许可证

引用格式

Pat Canny (2025). Formal Functional Equivalence (https://github.com/mathworks/formal-functional-equivalence/releases/tag/v2.2), GitHub. 检索时间: .

MATLAB 版本兼容性
创建方式 R2025a
与 R2022a 及更高版本兼容
平台兼容性
Windows macOS Linux
标签 添加标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

tests

tests

版本 已发布 发行说明
2.2

See release notes for this release on GitHub: https://github.com/mathworks/formal-functional-equivalence/releases/tag/v2.2
2.1.0.0

See release notes for this release on GitHub: https://github.com/mathworks/formal-functional-equivalence/releases/tag/v2.1
2.0

See release notes for this release on GitHub: https://github.com/mathworks/formal-functional-equivalence/releases/tag/v2.0
1.1

See release notes for this release on GitHub: https://github.com/mathworks/formal-functional-equivalence/releases/tag/v1.1
1.0

要查看或报告此来自 GitHub 的附加功能中的问题，请访问其 GitHub 仓库。
要查看或报告此来自 GitHub 的附加功能中的问题，请访问其 GitHub 仓库。