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:assume_guarantee_reasoning_with_procedures [2008/04/10 13:42]
vkuncak
sav08:assume_guarantee_reasoning_with_procedures [2008/04/10 13:44] (current)
vkuncak
Line 53: Line 53:
 ===== Procedures with Parameters ===== ===== Procedures with Parameters =====
  
-One way to derive rules: use assignments to reduce ​them to global state.+One way to derive rules: use assignments to reduce ​parameters to changes ​to global state.
  
 
sav08/assume_guarantee_reasoning_with_procedures.txt · Last modified: 2008/04/10 13:44 by vkuncak
 
© EPFL 2018 - Legal notice