Refinement types for Scala
Strong type constraints for Scala
Verification framework and tool for higher-order Scala programs
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
Solver for higher-order functional programs