- Apr 30, 2013, 6:29:34 PM (4 years ago)
- 1 edited
r3231 r3236 591 591 592 592 For the simulation we decided to prove a sufficient amount to give us 593 confidence in the definitions and approach, but curtail the proof 593 confidence in the definitions and approach, but curtail the proof 594 594 because this pass does not contribute to the intensional correctness 595 595 result. We tackled several simple cases, that do not interact with
Note: See TracChangeset for help on using the changeset viewer.