Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
eldarica [2013/07/09 15:39] hossein |
eldarica [2013/07/09 15:39] hossein |
||
|---|---|---|---|
| Line 13: | Line 13: | ||
| Besides Princess, Eldarica is able to use [[http://research.microsoft.com/en-us/um/redmond/projects/z3/|Z3]] as a theorem prover for constructing an abstraction of the program. | Besides Princess, Eldarica is able to use [[http://research.microsoft.com/en-us/um/redmond/projects/z3/|Z3]] as a theorem prover for constructing an abstraction of the program. | ||
| For the Z3 connection, Eldarica uses [[https://github.com/psuter/ScalaZ3/|ScalaZ3]]. | For the Z3 connection, Eldarica uses [[https://github.com/psuter/ScalaZ3/|ScalaZ3]]. | ||
| + | |||
| Line 31: | Line 32: | ||
| * (January 2013): ({{eldarica-1799.jar.gz|JAR file}}) (sp-1799) | * (January 2013): ({{eldarica-1799.jar.gz|JAR file}}) (sp-1799) | ||
| * (March 2013): ({{eldarica-1930.jar.gz|JAR file}}) (sp-1930) | * (March 2013): ({{eldarica-1930.jar.gz|JAR file}}) (sp-1930) | ||
| + | * (July 2013): ({{eldarica-2063.jar.gz|JAR file}}) (sp-2063) | ||