FICHA · AUR

stainless-git

Verification framework and tool for higher-order Scala programs

Scala verification tool
CLI
SCALA
FORMAL VERIFICATION
Launchable
Runs in terminal

official+codex · reviewed · Jun 4, 2026 description in en

Description

Scala program properties can be verified with the current Git build of the Stainless framework. The package builds the Stainless jar, installs `/usr/bin/stainless`, and can use optional Z3, CVC4, or CVC5 solver backends. It is for developers and researchers proving correctness conditions on Scala code.

How to run

stainless

Commands: stainless

Permissions

Permissions not analysed for this source yet.