License: Freeware
Downloads: 0
Op. System: Windows XP/Vista/7
Last updated: 12-05-2012
File size: 4.08 MB
Publisher: Microsoft
Related software:

Publisher description for Zing

Zing program icon

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.

Add your review

User reviews