Microsoft Download Center Archive

SymDiff

  • Published:
  • Version: 1.1
  • Category: Tool
  • Language: English

SymDiff, a language-agnostic tool for equivalence checking and displaying semantic (behavioral) differences over imperative programs. Last published: December 26, 2012.

SymDiff, a language-agnostic tool for equivalence checking and displaying semantic (behavioral) differences over imperative programs. The tool operates at the level of the intermediate verification language Boogie, and hence language-agnostic. This download contains a front end for comparing C programs compiled using the Microsoft C compiler.

Files

Status: Deleted

This download is no longer available on microsoft.com. The downloads below are archives provided by the Internet Archive Wayback Machine from the Microsoft Download Center prior to April 2023.

System Requirements

Operating Systems: Windows 10, Windows 7, Windows 8

  • Windows 7, Windows 8, or Windows 10

Installation Instructions

  • Click Download and follow the instructions.
This page was generated from a snapshot of the Microsoft Download Center made on .
FamilyId: 5a2589c1-e9ef-499d-bae1-36c348c2d8ed
Report a problem