--- /dev/null
+<?xml version="1.0"?>
+
+<work-package number="6">
+ <name>Testing and Validation</name>
+ <begin>Month 12</begin>
+ <end>Month 30</end>
+ <person-month participant="bologna" number="5"/>
+ <person-month participant="inria" number="6"/>
+ <person-month participant="dfki" number="3"/>
+ <person-month participant="nijmegen" number="17"/>
+ <person-month participant="aei" number="14"/>
+ <person-month participant="trusted-logic" number="9"/>
+ <objectives>
+ <p>The WP intends to measure the system suitability and
+ scalability and the satisfaction level of users with the
+ service.</p>
+ </objectives>
+ <description>
+ <p>Large scale testing and validation will start after the
+ release of the first MOWGLI prototype, at month 18. We
+ shall consider three main validation tests:</p>
+ <dl>
+ <dt>T6.1</dt>
+ <dd>Education. Full development of a fragment of the library
+ covering a typical undergraduate course in algebra of
+ analysis.</dd>
+
+ <dt>T6.2</dt>
+ <dd>Certified code. The aim is to be able to present the
+ formalization and the demonstration of some security
+ properties related to the code embedded into a smart card.
+ The presentation must be in a format understandable by
+ the company in charge of the evaluation of the code and
+ in accordance with the Common Criteria standard.</dd>
+
+ <dt>T6.3</dt>
+ <dd>Electronic Publishing. The aim is to test the LaTeX-based
+ authoring tool and to demonstrate how an electronic
+ physics journal benefits from the exploitation of
+ content markup in journal articles.</dd>
+ </dl>
+ </description>
+ <deliverable file="D6.a"/>
+ <deliverable file="D6.b"/>
+ <deliverable file="D6.c"/>
+ <deliverable file="D6.d"/>
+ <milestone>
+ <p>We expect a lot of feed-back during this phase, that will
+ be taken into account for the definition of the advanced and
+ final versions of the MOWGLI prototype.</p>
+ </milestone>
+</work-package>