Automated Rapid Certification Of Software (ARCOS)

A toolchain for automatic collection of evidence to support construction of assurance arguments for software, focusing on assurance of legacy systems and systems that make use of legacy and COTS components.

A software-suite for tracking dependencies across different types of tools and repositories.

CertGATE is a set of services for efficiently constructing, transforming, and querying enterprise-scale assurance cases that are represented in standard computational data structures and maintained in efficient storage mechanisms.

PVS is an interactive theorem prover that combines an expressive specification language with powerful proof automation and extensive formalized libraries.

RADLER is a framework for designing and verifying multi-rate distributed systems, based on a rigorous model of computation.

RACK is a semantic triplestore backed by an ontology (or what we also call the data model) tailored for curating evidence from certification artifacts.

ARBITER automatically develops a software assurance case using systems and software engineering artifacts, a library of pre-approved logical arguments, and causal models for innocuity requirements.

Compositional and hierarchical assurance case framework for continuous, and automated assurance.

Consistent Logical Automated Reasoning for Integrated System Software Assurance (CLARISSA) Tools were built based on Assurance 2.0 methodology for constructing and evaluating assurance cases