Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav08:lecture21 [2008/05/08 13:12] vkuncak |
sav08:lecture21 [2008/05/09 03:37] vkuncak |
||
---|---|---|---|
Line 23: | Line 23: | ||
===== Predicate Abstraction and Blast Tool: Guest Lecture by Prof. Dirk Beyer ===== | ===== Predicate Abstraction and 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]] | ||
+ | * Slides in [[http://www.cs.sfu.ca/~dbeyer/Publications/BLAST-Slides.ppt|ppt]] and [[http://www.cs.sfu.ca/~dbeyer/Publications/BLAST-Slides.pdf|pdf]] form | ||
===== References ===== | ===== References ===== |