#

leon

Here is 1 public repository matching this topic...

ravimad / Orb2015

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

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

Updated Nov 8, 2017
Scala

Improve this page

Add a description, image, and links to the leon topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the leon topic, visit your repo's landing page and select "manage topics."