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) | ||