Skip to content
@apalache-mc

Apalache Model Checker

Apalache: symbolic model checker for TLA+ and Quint

Popular repositories Loading

  1. apalache apalache Public

    APALACHE: symbolic model checker for TLA+ and Quint

    Scala 429 40

  2. apalache-tests apalache-tests Public

    Benchmarks for apalache

    SMT 6 2

  3. apalache-bench apalache-bench Public

    Apalache Bench Tests

    HTML 5

  4. apalache-chai apalache-chai Public

    Chai: Client for Human-Apalache Interaction

    Python 2 2

Repositories

Showing 4 of 4 repositories

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…