Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
surveys:mc [2010/02/22 19:38] maysam.yabandeh |
surveys:mc [2010/02/22 19:41] maysam.yabandeh |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Model Checking Tools for Software Systems ====== | ====== Model Checking Tools for Software Systems ====== | ||
| - | **//Maysam Yabandeh//** [[http://infoscience.epfl.ch/record/146549/files/|pdf]] | + | **//[[http://people.epfl.ch/maysam.yabandeh|Maysam Yabandeh]]//** [[http://infoscience.epfl.ch/record/146549/files/|pdf]] |
| //Please add your comments into Section [[mc#Discussion]]// | //Please add your comments into Section [[mc#Discussion]]// | ||
| Line 302: | Line 302: | ||
| ===== Discussion ===== | ===== Discussion ===== | ||
| - | Q: How about BlAST? | + | Q: How about BLAST? |
| - | A: It will be added soon. | + | |
| + | A: It is added now. | ||
| + | |||
| + | ---- | ||
| + | |||
| + | Q: How about SMASH? | ||
| + | |||
| + | A: I will check it. | ||