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:lecture05 [2008/03/06 19:02]
vkuncak
sav08:lecture05 [2008/03/06 19:03]
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.