tlaps

tlaps 1.4.5 · pkgs/applications/science/logic/tlaplus/tlaps.nix

Health

Risk

risk 2 low

+2 no meta.mainProgram, no versionCheckHook

Version

1.4.5 no newer release known to repology

Channels

master 1.4.5 · nixos-unstable 1.4.5 · nixos-26.05 1.4.5 no channel is behind master

Hydra

succeeded 1d ago

Advisories

none open

Packaging

no meta.mainProgram no versionCheckHook

Packagewhat each field means

Description

Mechanically check TLA+ proofs

Long description

TLA+ is a general-purpose formal specification language that is
particularly useful for describing concurrent and distributed
systems. The TLA+ proof language is declarative, hierarchical,
and scalable to large system specifications. It provides a
consistent abstraction over the various “backend” verifiers.

Homepage

https://tla.msr-inria.inria.fr/tlaps/content/Home.html

License

BSD-2-Clause

Platforms

45 platforms: Linux, Darwin

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free