Changeset 3236 for Deliverables/D3.4/Report/report.tex
 Timestamp:
 Apr 30, 2013, 6:29:34 PM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Deliverables/D3.4/Report/report.tex
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 proof593 confidence in the definitions and approach, but to 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.