EPFL CS550 - Formal Verification
Solver for higher-order functional programs
Verification framework and tool for higher-order Scala programs
Tiny Scala library to generate class files for the JVM
DSL in Scala for Constraint Solving with Z3 SMT Solver
Scala library for parsing and printing the SMT-LIB format
Computer language processing
An empty project you can use to play with worksheets.