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. |