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.

🔗 https://arcos-tools.org/

 

Submitted by Katie Dey on
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.