Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
software [2014/02/11 14:06]
mikael.mayer Added StringSolver
software [2015/05/24 17:23] (current)
vkuncak
Line 3: Line 3:
 The following software tools are currently available, sorted approximately according to how recently they have been updated: The following software tools are currently available, sorted approximately according to how recently they have been updated:
   * **[[leon|Leon]] - Verifier and Synthesizer for Scala**   * **[[leon|Leon]] - Verifier and Synthesizer for Scala**
 +  * [[cvc4|CVC4]] - CVC4 SMT Solver
   * [[rbound|Orb]] - Resource Bound Inference for Functional Programs   * [[rbound|Orb]] - Resource Bound Inference for Functional Programs
   * [[rosa|Rosa]] - Compiler for Reals   * [[rosa|Rosa]] - Compiler for Reals
 
software.txt · Last modified: 2015/05/24 17:23 by vkuncak
 
© EPFL 2018 - Legal notice