Property-based testing for Scala

Verification framework and tool for higher-order Scala programs

The fastest way to build a language

Verification-condition-generation-based verifier for the Viper intermediate verification language.

Simple programming language, statically typed and compiled to JVM bytecode