Stainless
Score6.0
Rank#18 of 33
Free planNo
Runs onWindows, macOS, Linux
Summary
Stainless is ranked #18 of 33 in formal verification tools on Everything Xiaomi. 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 12
Where it ranks on Everything Xiaomi
Is Stainless yours?
Claim it for free: prove the domain, then correct facts, plans and screenshots. An editor reviews every change.