Microsoft Download Center Archive

Zing Model Checker

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

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

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.

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: 523cbc5e-bef5-4f94-96b9-0fa7342303a0
Report a problem