Skip to content
@apalache-mc

Apalache Model Checker

Apalache: symbolic model checker for TLA+ and Quint
README.md

Apalache

This is the Github organization for running development of Apalache. For further details, see the main repository of Apalache.

The project is governed according to the Technical Charter.

Copyright © Apalache a Series of LF Projects, LLC

For web site terms of use, trademark policy and other project policies please see lfprojects.org.

Popular repositories Loading

  1. apalache apalache Public

    APALACHE: symbolic model checker for TLA+ and Quint

    Scala 578 49

  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 archive

    Chai: Client for Human-Apalache Interaction

    Python 4 3

  5. .github .github Public

    Home of APALACHE: symbolic model checker for TLA+ and Quint

    1

Repositories

Showing 5 of 5 repositories

Top languages

Loading…

Most used topics

Loading…