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
-
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