Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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]]
 
sav08/lecture21.txt · Last modified: 2008/05/19 18:55 by vkuncak
 
© EPFL 2018 - Legal notice