HILT 2013             ACM logo - Advancing Computing as a Science & Profession

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Building Confidence in System Behavior

Wednesday, November 13, 2:00-3:30pm

John Goodenough

Abstract

If the use of Ada (or SPARK or some other tool) increases our confidence in the behavior of high integrity software systems, why does it do so? What do we mean by confidence, and what is a justified basis for asserting some level of confidence? In this talk, Iíll address some recent research on the potential value of thinking about confidence in terms of eliminative induction, assurance cases, and confidence maps.


Created on 29 May 2014;  website comments and corrections to ClydeRoby at ACM.Org