4 citations · 18 across the 9 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2020★ 4 cited
Assurance 2.0: A Manifesto
Robin Bloomfield, John Rushby
System assurance is confronted by significant challenges. Some of these are new, for example, autonomous systems with major functions driven by machine learning and AI, and ultra-r…
cs.SE2014★ 4 cited
Evaluating the Assessment of Software Fault-Freeness
John Rushby, Bev Littlewood, Lorenzo Strigini
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…