📦
Versionv0.9.9.2.r17.964266d9
Revision29
LicenseApache-2.0
Confinementstrict
Basecore24

Program verifier and model checker for Scala 3

Stainless is a program verifier and counterexample finder for Scala 3. It uses SMT solvers (z3, cvc5, princess), function unfolding, and invariant inference to prove and disprove program safety and termination.

Update History

v0.9.9.2.r17.964266d9 (29)
1 Apr 2026, 21:28 UTC

Published24 Jan 2025, 10:03 UTC

Last updated6 Mar 2026, 12:18 UTC

First seen1 Apr 2026, 21:28 UTC