New Tool Portal: Automated Rapid Certification Of Software (ARCOS)
We're excited to announce the launch of the Automated Rapid Certification Of Software (ARCOS) Tool Portal — a new DARPA-supported virtual resource for the research and development and certification communities.
The ARCOS Tool Portal provides open access to simulators, verification tools, and tool suites that enable high-quality software assurance evidence generation and evaluation.
Submitted by Katie Dey
on