Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav08:importance_of_verification [2010/02/22 13:24]
vkuncak
sav08:importance_of_verification [2010/02/22 13:25] (current)
vkuncak
Line 70: Line 70:
  
 A lot of work remains. A lot of work remains.
 +
  
 ===== Ongoing Initiatives ===== ===== Ongoing Initiatives =====
Line 78: Line 79:
     * [[http://​tresor.epfl.ch/​dokuwiki/​seminars|Tresor seminars]]     * [[http://​tresor.epfl.ch/​dokuwiki/​seminars|Tresor seminars]]
     * upcoming projects     * upcoming projects
 +
 +  * COST Action on Verification of Object-Oriented Software: http://​www.cost-ic0701.org/​
 +  * http://​richmodels.epfl.ch
  
 ===== Impact on Computer Science ===== ===== Impact on Computer Science =====
 
sav08/importance_of_verification.txt · Last modified: 2010/02/22 13:25 by vkuncak
 
© EPFL 2018 - Legal notice