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 444 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
  • apalache Public

    APALACHE: symbolic model checker for TLA+ and Quint

    apalache-mc/apalache’s past year of commit activity
    Scala 444 Apache-2.0 40 272 (9 issues need help) 11 Updated Dec 17, 2024
  • apalache-chai Public

    Chai: Client for Human-Apalache Interaction

    apalache-mc/apalache-chai’s past year of commit activity
    Python 2 2 2 0 Updated Jul 28, 2024
  • apalache-tests Public

    Benchmarks for apalache

    apalache-mc/apalache-tests’s past year of commit activity
    SMT 6 Apache-2.0 2 8 0 Updated Mar 8, 2023
  • apalache-bench Public

    Apalache Bench Tests

    apalache-mc/apalache-bench’s past year of commit activity
    HTML 5 0 1 0 Updated Feb 27, 2023

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…