ISBN-13: 9781848822399, 978-1848822399. Software Verification and Analysis. Therefore, the rather awkward phrase improving correctness is to be understood as an effort to minimize the number of residual programming faults (bugs) and their impact on the softwares behavior, that is, to make the faults tolerable.
eBay