50 citations · 53 across the 2 of their papers we have counts for
1 paper · 1 filter
Natarajan Shankar, Devesh Bhatt, Michael Ernst +8
The goal of the DARPA Automated Rapid Certification Of Software (ARCOS) program is to "automate the evaluation of software assurance evidence to enable certifiers to determine rapi…