ravimad / Orb2015

An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs

Geek Repo

Github PK Tool

leon scala verification verification-methodologies performance-analysis perfomance-verification assertion-checking

Leon 3.0

Getting Started

To build Leon you will need JDK, scala, sbt, and some external solver binaries. On Linux, it should already work out of the box.

To get started, see the documentation chapters, such as

Getting Started
Installation
Introduction to Leon

For change log, see CHANGELOG.md

About

An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs

leon scala verification verification-methodologies performance-analysis perfomance-verification assertion-checking

Other

Languages

Language:Scala 98.1%Language:Standard ML 0.5%Language:Shell 0.5%Language:Java 0.3%Language:SMT 0.2%Language:Python 0.1%Language:HTML 0.1%Language:Makefile 0.1%Language:Isabelle 0.1%Language:OCaml 0.0%