„Bei der Software handelte es sich um extrem komplexen, objektorientierten C++-Code, doch die LDRA Tool Suite leistete hervorragende Hilfestellung beim Testen und Zertifizieren des Quellcodes gemäß DO-178B Level A“