If an organization wants certainty about or confidence in a software artifact a LaQuSo certificate can be requested.

Certification is a check that the artifact fulfills a well-defined set of requirements. These requirements are defined by the customer or a third party; LaQuSo will do the check. The certificate will always refer to the requirements that were used to check the artifact against. An important issue of certification is that the evaluator should be independent. As part of a university, LaQuSo is able to perform this role.

Each certification project has its own goals. This means that a certification plan (steps to take and techniques to apply) has to be made for each project. The certification goal is defined based on the customer questions and requirements and the norms and standards that are applicable in that area. The outcome is a decision to grant a certificate yes or no.

The certification is based on the LaQuSo Product Certification Model, which includes a number of predefined certificate types:

• Manually Verified Requirements Consistency
• Model Verified Requirements Consistency
• Process Behavior from Source Code
• Process Behavior from Tests
• Process Behavior from Detailed Design

Based on the certification model the following certificates have been handed out by LaQuSo:

Certificate Type	Company	Product/Artefact	Date	Certificate
Process Behavior Certificate	AIA	ITP Load Balancer	2008-01-11