Skip to content
@ZingModelChecker

ZingModelChecker

Popular repositories Loading

  1. Zing Zing Public

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

    C# 16 1

Repositories

Showing 1 of 1 repositories
  • Zing Public

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

    ZingModelChecker/Zing’s past year of commit activity
    C# 16 MIT 1 2 0 Updated Dec 1, 2016

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…