Formal verification tools on Scala

[fengwz17]

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?