GitHub repository: rjraya/stainless
Primary language: Scala
Description: Verification framework for higher-order functional programs