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:lecture05 [2008/03/06 19:02]
vkuncak
sav08:lecture05 [2008/03/06 19:03] (current)
vkuncak
Line 9: Line 9:
 How to combine program execution and strongest postconditions?​ How to combine program execution and strongest postconditions?​
  
-[[Forward Symbolic Execution|Forward Symbolic Execution]]+[[Forward Symbolic Execution]]
  
 We next look at a program semantics that has explicit error conditions, and that gives nice rules for weakest preconditions. We next look at a program semantics that has explicit error conditions, and that gives nice rules for weakest preconditions.
 
sav08/lecture05.txt · Last modified: 2008/03/06 19:03 by vkuncak
 
© EPFL 2018 - Legal notice