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/14 21:54] vkuncak |
||
|---|---|---|---|
| Line 14: | Line 14: | ||
| For the Z3 connection, Eldarica uses [[https://github.com/psuter/ScalaZ3/|ScalaZ3]]. | For the Z3 connection, Eldarica uses [[https://github.com/psuter/ScalaZ3/|ScalaZ3]]. | ||
| - | + | Eldarica can take as input a subset of Scala, or logical representations such as [[http://nts.imag.fr/|Numerical Transition Systems]] and [[https://svn.sosy-lab.org/software/sv-benchmarks/trunk/clauses/|Horn clauses]]. | |
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| ==== Download ==== | ==== Download ==== | ||
| Line 55: | Line 45: | ||
| \\ | \\ | ||
| **Eldarica** is being developed and maintained at LARA by [[http://icwww.epfl.ch/~hojjat/| | **Eldarica** is being developed and maintained at LARA by [[http://icwww.epfl.ch/~hojjat/| | ||
| - | Hossein Hojjat]] with contributions from [[http://www.philipp.ruemmer.org/|Philipp Ruemmer]]. | + | Hossein Hojjat]] with contributions from [[http://www.philipp.ruemmer.org/|Philipp Ruemmer]] and Filip Konecny. |