Lab for Automated Reasoning and Analysis LARA


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]
sav08:lecture21 [2008/05/19 18:55] (current)
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://​​~dbeyer/​Publications/​2007-STTT.The_Software_Model_Checker_BLAST.pdf|Blast Paper]]   * [[http://​​~dbeyer/​Publications/​2007-STTT.The_Software_Model_Checker_BLAST.pdf|Blast Paper]]
sav08/lecture21.txt · Last modified: 2008/05/19 18:55 by vkuncak
© EPFL 2018 - Legal notice