Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type


Publication Date

Conference Paper

Measuring Assurance Case Confidence using Baconian Probabilities

  • Abstract

    This paper will be published by IEEE for the 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE) in 2013.

    The basis for assessing the validity of an assurance case is an active area of study. In this paper, we discuss how to assess confidence in a case by considering the doubts eliminated by the claims and evidence in a case. This is an application of eliminative induction and the notion of Baconian probability as put forward by L. Jonathan Cohen.

  • Download