Zing Model Checker

Language:
English
Zing is a state-exploration engine for models of concurrent software systems. Last published: December 10, 2012.
  • Version:

    5

    File Name:

    ZING.msi

    Date Published:

    5/12/2016

    File Size:

    5.2 MB

      Zing is a state-exploration engine for models of concurrent software systems. The Zing modeling language supports the modeling of procedure calls, dynamic memory allocation, and asynchronous task creation. Zing is being used to model and verify protocols in critical components of the Windows operating system, enabling early discovery of scores of critical concurrency bugs that would have been extremely difficult to uncover later.
  • 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