Formal verification tools on Scala #19984
Unanswered
fengwz17
asked this question in
General Question
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
As I know, Stainless (https://stainless.epfl.ch/) is a well-developed tool that verifies Scala programs by translating the program embedded with "contracts" to verification conditions and call Leon/SMT solvers.
But are there any other (except Stainless) formal verification tools which, probably powered by Symbolic Execution/Model Checking , for Scala program?
Beta Was this translation helpful? Give feedback.
All reactions