CLARISSA
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
Prototype Verification System (PVS)
PVS is an interactive theorem prover that combines an expressive specification language with powerful proof automation and extensive formalized libraries.
RADLER
RADLER is a framework for designing and verifying multi-rate distributed systems, based on a rigorous model of computation.
CertGATE
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.
A-CERT (Advancing Certification Evidence, Rigor, and Traceability)
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.
Automated Assurance Case Environment
Compositional and hierarchical assurance case framework for continuous, and automated assurance.
RACK (Rapid Assurance Curation Kit)
RACK is a semantic triplestore backed by an ontology (or what we also call the data model) tailored for curating evidence from certification artifacts.
Home
ARCOS-VO Homepage
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.