Skip to content

@ZingModelChecker ZingModelChecker

Change the repository type filter

All

    Repositories list

    1 repository

    • Zing

      Public
      Zing : An explicit state model checker for concurrent and message passing programs.
      C#
      •
      MIT License
      •1•16•2•0•Updated Dec 1, 2016Dec 1, 2016