We offer Qualification Support Kits (QSKs) for Astrée that support and simplify the qualification process. The QSKs contain two major parts which depend on each other: a Report Package and a Test Package. The reports are generated in HTML format, enabling easy integration into your certification documents. The QSKs can be easily extended with your own test cases to also cover your operational environment. In the past, our QSKs have been successfully used by leading corporations in their DO-178B qualification process, especially in the avionics industry.