LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
eldarica [2013/07/14 21:54]
vkuncak
eldarica [2014/09/23 15:02]
vkuncak
Line 1: Line 1:
 ====== ELDARICA ====== ====== ELDARICA ======
 +
 +----
 +
 +NEW: GitHub link: https://​github.com/​uuverifiers/​eldarica
 +
 +----
  
 |     ​[[http://​www.public.asu.edu/​~camartin/​plants/​Plant%20html%20files/​pinuseldarica.html|{{ eldarica.jpg?​150| }}]]      |       ​{{reachability.png?​100}} ​  | |     ​[[http://​www.public.asu.edu/​~camartin/​plants/​Plant%20html%20files/​pinuseldarica.html|{{ eldarica.jpg?​150| }}]]      |       ​{{reachability.png?​100}} ​  |
Line 23: Line 29:
   * (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)   * (July    2013): ​ ({{eldarica-2063.jar.gz|JAR file}}) (sp-2063)
- +  * (February 2014): ({{eldarica-2305.jar.gz|JAR file}}) (sp-2305)
  
 ==== Related Links ==== ==== Related Links ====
Line 32: Line 37:
   * Some {{horn-benchmarks.tar.gz|Horn}} clauses.   * Some {{horn-benchmarks.tar.gz|Horn}} clauses.
   * [[horn-nonrec-benchmarks|Non-recursive Horn benchmarks.]] ​   * [[horn-nonrec-benchmarks|Non-recursive Horn benchmarks.]] ​
 +  * [[horn-parametric-benchmarks|Parametric Time Automata Horn benchmarks.]] ​
   * [[https://​svn.sosy-lab.org/​software/​sv-benchmarks/​trunk/​clauses/​LIA/​Eldarica/​|Horn clauses]] in SMT-LIB format.   * [[https://​svn.sosy-lab.org/​software/​sv-benchmarks/​trunk/​clauses/​LIA/​Eldarica/​|Horn clauses]] in SMT-LIB format.
- 
 ==== Running ==== ==== Running ====
 \\ \\