Zing : An explicit state model checker for concurrent and message passing programs.
Primary LanguageC#MIT LicenseMIT