Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
sav08:lecture21 [2008/05/19 18:55] vkuncak |
sav08:lecture21 [2008/05/19 18:55] (current) vkuncak |
||
|---|---|---|---|
| Line 9: | Line 9: | ||
| [[:sav07_lecture_7|Approximation Expressed Using Formulas]] | [[:sav07_lecture_7|Approximation Expressed Using Formulas]] | ||
| - | ===== Predicate Abstraction and Blast Tool: Guest Lecture by Prof. Dirk Beyer ===== | + | ===== Predicate Abstraction and the BLAST Tool: Guest Lecture by Prof. Dirk Beyer ===== |
| * [[http://www.cs.sfu.ca/~dbeyer/Publications/2007-STTT.The_Software_Model_Checker_BLAST.pdf|Blast Paper]] | * [[http://www.cs.sfu.ca/~dbeyer/Publications/2007-STTT.The_Software_Model_Checker_BLAST.pdf|Blast Paper]] | ||