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.
Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.