Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: DesCert: Design for Certification   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 rapidly that system risk is acceptable." As part of
this program, the DesCert project focuses on the assurance-driven development
of new software. The DesCert team consists of SRI International, Honeywell
Research, and the University of Washington. We have adopted a formal,
tool-based approach to the construction of software artifacts that are
supported by rigorous evidence. The DesCert workflow integrates evidence
generation into a design process that goes from requirements capture and
analysis to the decomposition of the high-level software requirements into
architecture properties and software components with assertional contracts, and
on to software that can be analyzed both dynamically and statically. The
generated evidence is organized by means of an assurance ontology and
integrated into the RACK knowledge base.

23
The categories of this paper are: solv-int
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph
10
The categories of this paper are: q-bio
26
The categories of this paper are: bayes-an
27
The categories of this paper are: comp-gas
17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph
32
The categories of this paper are: atom-ph
28
The categories of this paper are: alg-geom
22
The categories of this paper are: chao-dyn
16
The categories of this paper are: stat
20
The categories of this paper are: acc-phys
8
The categories of this paper are: hep-ex
37
The categories of this paper are: supr-con
34
The categories of this paper are: chem-ph