|Version 1 (modified by sacerdot, 7 years ago) (diff)|
The project is organized to provide a completely measurable and verifiable assessment of the state of advancement of the work, through a detailed list of intermediate deliverables. Most of the technical deliverables are executable prototypes, permitting an easy verification of their functionality. Some of them are also formal proofs developed in Matita, hence granted to be correct in themselves and proving the corresponding prototype to be bug free. Finally, all deliverables that are prototypes will come together with a report that provides the amount of information that is necessary to understand the design decisions and techniques used in the prototype in order to foster application of the same techniques to similar scenarios.
For details, see Workplan Table WT2: List of Deliverables.