Search NASAโŒ• Search

NASA NTRS ยท 20180004394

The Simple Assurance Argument Interchange Format (SAAIF) Manual

Abstract

This document describes the Simple Assurance Argument Interchange Format, a proposed meta-model for describing structured assurance arguments. We describe the syntax and semantics of the model elements, compare the meta-model to existing argument formats, and give an example to illustrate its use.

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Graydon, Patrick J.. 2018-06-01. The Simple Assurance Argument Interchange Format (SAAIF) Manual. https://ntrs.nasa.gov/citations/20180004394

Cite the original work for its findings. Save a collection to share your selection of sources.