SymDiff

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

    1.1

    File Name:

    symdiff.1.0.12.26.msi

    Date Published:

    5/12/2016

    File Size:

    44.1 MB

      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.
  • Supported Operating System

    Windows 10 , Windows 7, Windows 8

      • Windows 7, Windows 8, or Windows 10
      • Click Download and follow the instructions.
Site feedback
Microsoft

What category would you like to give web site feedback on?



Rate your level of satisfaction with this web page today:

Comments:

Submit