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/11 01:48] ravi |
||
|---|---|---|---|
| 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|Orb]] - 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 | ||