Informal Systems

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 6 months ago · Digest
sha256:afa115d0634e51836383e22dd37b8c2af900f589a881fa338c06795fe84a05ba

11 Version downloads
latest v0.44.11

Published 6 months ago · Digest
sha256:7e1cabc34f81409a23ee135534c3846e6db9bc48e6e0833d9091281d8c81371f

23 Version downloads
v0.44.10

Published 8 months ago · Digest
sha256:ade4ac1ef68c576a5449333a833d69ab30eafc7cb9399d2f32afe036b382048a

59 Version downloads
v0.44.9

Published 8 months ago · Digest
sha256:71ded59e0d773cc7b8a277ef8ac39146c48c550d6754cdddf16b35035de71c8e

34 Version downloads
v0.44.8

Published 8 months ago · Digest
sha256:78ef65f92f0776ece3171f838f5d1394ccf9130b7e3c7dd18f571caf7b8f0b0e

36 Version downloads

View all tagged versions

Loading

Last published

6 months ago

Total downloads

12K