LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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]]