epfl-lara / stainless   0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1

Verification framework and tool for higher-order Scala programs

• verification
• leon
• formal-methods
• inox
• cvc4
• scala
• smt
• z3