Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Zing Model Checker for Visual Studio.NET 2008

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.

Details

TypeDownload
File NameSetup.msi
Version4
Date Published2 March 2010
Download Size4.07 MB

Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.