The reviewed record of science sign in
Pith

arxiv: 1404.6844 · v1 · pith:O3SYS2VQ · submitted 2014-04-28 · cs.SE

Evaluating the Assessment of Software Fault-Freeness

John Rushby , Bev Littlewood , Lorenzo Strigini This is my paper

Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel pith:O3SYS2VQrecord.jsonopen to challenge →

classification cs.SE
keywords assessmentfault-freenesssoftwarecertificationconfidenceconservativeevaluatingexperimentally
0
0 comments X
read the original abstract

We propose to validate experimentally a theory of software certification that proceeds from assessment of confidence in fault-freeness (due to standards) to conservative prediction of failure-free operation.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.