Inferse
For vendors
AdvertiseTop spots, featured rows, home sponsor Get listedAdd a product we don't cover yet Claim a listingFree: verify the domain, then correct your page Vendor dashboardNumbers, orders and placements
List your platform
Vendor dashboard

Stainless

API—OSS—FREE—DOCS3/5
ST5.1#25 of 33
—WeboutWindowsoutMacoutLinux—Android—iOS

Ranked in Formal Verification Tools ·No free plan on record

Visit site Alternatives

About

Stainless is ranked #25 of 33 in formal verification tools on Inferse. It runs on Windows, macOS, Linux.

Compared on formal verification tools

Free plan
Yesstainless.epfl.ch
Verification method
deductivestainless.epfl.ch
Supported formalisms
contractsstainless.epfl.ch
Counterexamples
Yesstainless.epfl.ch
Input languages
Scala 3stainless.epfl.ch
Deployment
self-hostedstainless.epfl.ch

Best Stainless alternatives

See all 20
Alloy Analyzer01 APIOSSFREEDOCS Free7.3Z302 APIOSSFREEDOCS Free7.3PVS03 APIOSSFREEDOCS Free6.0Rocq04 APIOSSFREEDOCS Free6.0CBMC05 APIOSSFREEDOCS Free5.9Isabelle06 APIOSSFREEDOCS Free5.9

Where it ranks on Inferse