Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
software [2015/05/24 17:23] vkuncak |
software [2019/09/18 10:57] 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 | * [[cvc4|CVC4]] - CVC4 SMT Solver | ||
* [[rbound|Orb]] - Resource Bound Inference for Functional Programs | * [[rbound|Orb]] - Resource Bound Inference for Functional Programs |