Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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