Zing Model Checker Preview

Zing is a new software model checking project at Microsoft Research. Our goal is to build a flexible and scalable systematic state space exploration infrastructure for software. This infrastructure includes novel algorithms, and a modular software architecture, to push the frontier on exploring large state spaces of software. This preliminary release of Zing includes a compiler, model checker, refinement checker, and a graphical model viewer. It integrates with, and requires, Visual Studio .NET 2003.

Details

TypeDownload
File NameZing.msi
Version1.1.2
Date Published26 April 2005
Download Size7.18 MB

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