LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
software [2014/02/11 14:06]
mikael.mayer Added StringSolver
software [2019/09/18 11:35] (current)
vkuncak
Line 2: Line 2:
  
 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**+  * [[https://​stainless.epfl.ch|Stainless]] - Verifier 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
Line 21: Line 23:
  
 We believe many of these systems are already useful, even though their explicit goal was to explore and evaluate research results. If you consider some of them as toys, however, we will be flattered, because we believe that toys are at least as essential for the development of science and technology as they are for the development of children. ​ We believe many of these systems are already useful, even though their explicit goal was to explore and evaluate research results. If you consider some of them as toys, however, we will be flattered, because we believe that toys are at least as essential for the development of science and technology as they are for the development of children. ​
- 
-Two links to industrial-strength systems: ​ 
-  * http://​typesafe.com/​ 
-  * http://​jasper-da.com/​ 
- 
-\\ 
-\\ 
-\\