Formal Functional Equivalence

This project provides a set of utilities for performing "formal functional equivalence," which is a static analysis-based technique to prove

https://github.com/mathworks/formal-functional-equivalence

Version 2.2 (171 KB)
13 Downloads
(0)
17 May 2025

You are now following this Submission

Cite As

Pat Canny (2026). Formal Functional Equivalence (https://github.com/mathworks/formal-functional-equivalence/releases/tag/v2.2), GitHub. Retrieved .

Tags

Add Tags

Add the first tag.

General Information

MATLAB Release Compatibility

  • Compatible with R2022a and later releases

Platform Compatibility

  • Windows
  • macOS
  • Linux
Open in new tab
Version Published Release Notes
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

To view or report issues in this GitHub add-on, visit the GitHub Repository.
To view or report issues in this GitHub add-on, visit the GitHub Repository.