Consequently, despite the tremendous resources devoted to making software more robust and resilient, ensuring that programs are correct, especially at scale, remains a difficult and challenging endeavor, DARPA said when it launched the project last month.