Journal article
Building Confidence in Scientific Computing Software Via Assurance Cases
Abstract
Assurance cases provide an organized and explicit argument for correctness.
They can dramatically improve the certification of Scientific Computing
Authors
Smith S; Nejad MS; Wassyng A
Journal
, , ,
Publication Date
December 31, 2019
DOI
10.48550/arxiv.1912.13308