
Masten Space Systems partners with AdaCore to land on the Moon’s South Pole
Los Angeles CA (SPX) Sep 28, 2021 - When Masten Space Systems was awarded a NASA contract to land scientific payloads on the Moon, the company chose to work with AdaCore's software development and verification tools for its XL-1 Lunar














