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.