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
svarm11 [2011/02/24 10:55]
vkuncak
svarm11 [2011/04/12 18:01] (current)
cesar.sanchez
Line 1: Line 1:
 ====== Synthesis, Verification,​ and Analysis of Rich Models (SVARM) 2011 ====== ====== Synthesis, Verification,​ and Analysis of Rich Models (SVARM) 2011 ======
 +
 +^ [[svarm11:​program|SVARM Program and slides]] ^
  
 **S**ynthesis,​ **V**erification,​ and **A**nalysis of **R**ich **M**odels **(SVARM 2011)** will take place April 1-3, 2011, as part of [[http://​www.etaps.org/​|ETAPS 2011]]. **S**ynthesis,​ **V**erification,​ and **A**nalysis of **R**ich **M**odels **(SVARM 2011)** will take place April 1-3, 2011, as part of [[http://​www.etaps.org/​|ETAPS 2011]].
Line 8: Line 10:
   * [[http://​mir.cs.illinois.edu/​~marinov/​|Darko Marinov]]: **Systematic Software Testing Using Test Abstractions**,​ Sunday, April 3rd, 9am   * [[http://​mir.cs.illinois.edu/​~marinov/​|Darko Marinov]]: **Systematic Software Testing Using Test Abstractions**,​ Sunday, April 3rd, 9am
  
-**[[program.txt|Workshop Program]]**+
  
 {{:​etapslogo.jpg|}} {{:​etapslogo.jpg|}}