Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
surveys:top [2010/02/15 23:06] vkuncak |
surveys:top [2010/02/15 23:07] (current) vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Rich Model Toolkit: Surveys of Implemented Systems ====== | + | ====== Rich Model Toolkit: Surveys of Existing Tools ====== |
| - | [[mc|Model Checking Tools for Software Systems]], by Maysam Yabandeh, PhD student, EPFL | + | [[mc|Model Checking Tools for Software Systems]], by [[http://people.epfl.ch/maysam.yabandeh|Maysam Yabandeh]] |