Software Verification and System Assurance

Software Verification and System Assurance (2009)

by John Rushby

Citations:

5 - 2 self

User correction supplied by mph

Datum	Value	Source
TITLE	Software Verification and System Assurance	user correction
AUTHOR NAME	John Rushby	user correction
AUTHOR AFFIL	Computer Science Laboratory; SRI International	user correction
AUTHOR ADDR	Menlo Park California USA	user correction
ABSTRACT	Littlewood [1] introduced the idea that software may be possibly perfect and that we can contemplate its probability of (im)perfection. We review this idea and show how it provides a bridge between correctness, which is the goal of software verification (and especially formal verification), and the probabilistic properties such as reliability that are the targets for system-level assurance. We enumerate the hazards to formal verification, consider how each of these may be countered, and propose relative weightings that an assessor may employ in assigning a probability of perfection.	user correction
YEAR	2009	user correction
CITATIONS	50 found	ParsCit 1.0