Measuring Assurance Case Confidence using Baconian Probabilities
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.