GitHub repository: quartztz/stainless
Description: Verification framework and tool for higher-order Scala programs