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:lecture03 [2008/02/27 18:42]
vkuncak
sav08:lecture03 [2008/03/02 22:18] (current)
vkuncak
Line 6: Line 6:
  
 [[Hoare Logic]] - Verifying programs by writing sufficient assertions in program code, Weakest Preconditions,​ Strongest Postconditions. [[Hoare Logic]] - Verifying programs by writing sufficient assertions in program code, Weakest Preconditions,​ Strongest Postconditions.
 +
 +In [[lecture04]] we will use these notions to express correctness of annotated programs using formulas.
  
 
sav08/lecture03.txt · Last modified: 2008/03/02 22:18 by vkuncak
 
© EPFL 2018 - Legal notice