Skip to content
Zing : An explicit state model checker for concurrent and message passing programs.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Common Initial checkin Jul 23, 2013
DelayingSchedulers changed the version of .net for sealingscheduler project Aug 29, 2016
LongRegressions fixed a bug in the way BoundedSearch cloning was implemented. This bu… Jul 8, 2015
Microsoft.Zing.Runtime updated the random liveness algorithm Dec 1, 2016
Microsoft.Zing Code Clean Up Apr 29, 2015
Plugins
Regression updated one regression. Jul 8, 2015
Resources small change Jul 31, 2015
ZingExplorer updated the random liveness algorithm Dec 1, 2016
Zinger
zc Code Clean Up Apr 29, 2015
.gitattributes
.gitignore Ignore bin and obj Jul 23, 2013
Issues.txt
LICENSE.txt added LICENSE.txt Jun 28, 2015
README.md
ZING.sln added to the master branch the sealing scheculer Jul 23, 2016

README.md

Zing

Zing : An explicit state model checker for concurrent and message passing programs.

The goal of the Zing project is to build a flexible and scalable systematic state space exploration infrastructure for software. Zing is a flexible and scalable infrastructure for exploring states of concurrent software systems. This infrastructure can be used for validating software at various levels: high-level protocol descriptions, work-flow specifications, web services, device drivers, and protocols in the core of the operating system. Zing is currently being used for developing drivers for Windows and Windows Phone.

For more details and documentation. http://research.microsoft.com/en-us/projects/zing/

You can’t perform that action at this time.