Search alternatives:
"proving" » "providing", "improving", "province"
Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
“... by software verification, that is, by proving the correctness of a program with respect to its specification...”
Cover Image
Read Now

2
by Müller, Peter
Published 2002
Springer Berlin Heidelberg
“..., one can then prove that an implementation really has the desired, speci?ed properties. Although...”