Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
software [2014/02/09 14:18] vkuncak |
software [2014/02/11 14:06] mikael.mayer Added StringSolver |
||
---|---|---|---|
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** | ||
- | * [[rbound|RBound]] - Resource Bound Inference for Functional Programs | + | * [[rbound|Orb]] - Resource Bound Inference for Functional Programs |
* [[rosa|Rosa]] - Compiler for Reals | * [[rosa|Rosa]] - Compiler for Reals | ||
+ | * [[stringsolver|StringSolver]] - A solver for string transformations, file renaming and semi-automated bash commands. | ||
* [[insynth|InSynth]] - Interactive Synthesis | * [[insynth|InSynth]] - Interactive Synthesis |