Skip to content

apalache

APALACHE: symbolic model checker for TLA+ and Quint

Install from the command line
Learn more about packages
$ docker pull ghcr.io/informalsystems/apalache:main

Recent tagged image versions

  • main
    Published 2 months ago · Digest
    sha256:afa115d0634e51836383e22dd37b8c2af900f589a881fa338c06795fe84a05ba
    9 Version downloads
  • latest v0.44.11
    Published 2 months ago · Digest
    sha256:7e1cabc34f81409a23ee135534c3846e6db9bc48e6e0833d9091281d8c81371f
    19 Version downloads
  • v0.44.10
    Published 4 months ago · Digest
    sha256:ade4ac1ef68c576a5449333a833d69ab30eafc7cb9399d2f32afe036b382048a
    58 Version downloads
  • v0.44.9
    Published 4 months ago · Digest
    sha256:71ded59e0d773cc7b8a277ef8ac39146c48c550d6754cdddf16b35035de71c8e
    33 Version downloads
  • v0.44.8
    Published 4 months ago · Digest
    sha256:78ef65f92f0776ece3171f838f5d1394ccf9130b7e3c7dd18f571caf7b8f0b0e
    35 Version downloads
View all tagged versions

Loading

Details

Last published

2 months ago

Discussions

17

Issues

318

Total downloads

11.9K

Collaborators 5