Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav07_lecture_5 [2007/04/03 17:33] vaibhav.rajan |
sav07_lecture_5 [2007/04/03 17:35] vaibhav.rajan |
||
|---|---|---|---|
| Line 83: | Line 83: | ||
| If we have two formulas that are true in different models: for example: [F1]_m1 = true and [F2]_m2 = true, then what can we say about (F1 & F2) in some combination of the models? | If we have two formulas that are true in different models: for example: [F1]_m1 = true and [F2]_m2 = true, then what can we say about (F1 & F2) in some combination of the models? | ||
| See the decomposition in the following figure: | See the decomposition in the following figure: | ||
| - | {{model-merging.jpg}} | + | {{modelmerging.jpg}} |
| The models can be merged if \\ | The models can be merged if \\ | ||