NixOS / nixpkgs

Nix Packages collection & NixOS
MIT License
18.07k stars 14.06k forks source link

Apalache model checker #141864

Open suhr opened 3 years ago

suhr commented 3 years ago

Project description The Symbolic Model Checker for TLA+

Metadata

cast @thoughtpolice, @yrashk

stale[bot] commented 2 years ago

I marked this as stale due to inactivity. → More info

suhr commented 2 years ago

Still needed.

edwardw commented 1 year ago

cc me