Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
introduction_to_using_msol_over_strings_to_verify_linked_lists [2007/05/07 14:42] vkuncak |
introduction_to_using_msol_over_strings_to_verify_linked_lists [2007/05/07 14:42] vkuncak |
||
|---|---|---|---|
| Line 46: | Line 46: | ||
| tree [Node.next] --> F(Node.next) | tree [Node.next] --> F(Node.next) | ||
| - | We will have a decision procedure that can decide such formulas. | + | I will describe a decision procedure that can decide such formulas. |