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:15] vkuncak |
software [2014/02/09 14:18] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Software ===== | ===== Software ===== | ||
- | The following software tools are currently available: | + | 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 extension of Leon | + | * [[rbound|RBound]] - Resource Bound Inference for Functional Programs |
+ | * [[rosa|Rosa]] - Compiler for Reals | ||
* [[insynth|InSynth]] - Interactive Synthesis | * [[insynth|InSynth]] - Interactive Synthesis | ||
- | * [[eldarica|Eldarica]] - Predicate Abstraction Engine | ||
* [[pong|Pong Designer]] - Programming Games by Demonstration | * [[pong|Pong Designer]] - Programming Games by Demonstration | ||
- | * [[rosa|Rosa]] - Compiler for Reals | + | * [[eldarica|Eldarica]] - Predicate Abstraction Engine |
* [[smartfloat|SmartFloat]] - Numerical Error Estimator | * [[smartfloat|SmartFloat]] - Numerical Error Estimator | ||
* [[phantm|Phantm]] - PHp ANalyzer for Type Mismatch | * [[phantm|Phantm]] - PHp ANalyzer for Type Mismatch |