perfomance-verification
There are 1 repositories under perfomance-verification topic.
ravimad/Orb2015
An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs
There are 1 repositories under perfomance-verification topic.
An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs