Jet Propulsion Laboratory
Лаборатория реактивного движения НАСА использовала ПО для тестирования исходных кодов марсохода Curiosity.