MERRIMACK, NH.BAE Systems' FAST Labs research and development organization agreed to a $6 million contract with the U.S. Defense Advanced Research Projects Agency (DARPA) as part of the DARPA Pipelined Reasoning of Verifiers Enabling Robust Systems (PROVERS) program, which is aimed at further ...