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
jahob_system_sets [2009/01/30 12:07]
wies
jahob_system_sets [2009/02/08 11:52]
vkuncak
Line 1: Line 1:
 ====== Benchmarks for Set-Driven Combination of Logics and Verifiers ====== ====== Benchmarks for Set-Driven Combination of Logics and Verifiers ======
  
 +  * [[SizeList.java]]
 +  * [[SortedList.java]]
   * [[SizeDataTree.java]]   * [[SizeDataTree.java]]
 +  * [[ThreadedTree.java]]
  
-For the description of the underlying technique, see the [[http://​lara.epfl.ch/​~kuncak/​papers/​FOO|recent paper]].+For the description of the underlying technique, see the [[http://​lara.epfl.ch/​~kuncak/​papers/​KuncakWies09SetDrivenCombinationofLogicsandVerifiers.html|recent paper]].
  
 For more information,​ see also the [[Jahob system]] For more information,​ see also the [[Jahob system]]