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