1 citations · 1 across the 5 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
Program Verification of Numerical Computation - Part 2
Garry Pantelis
These notes present some extensions of a formal method introduced in an earlier paper. The formal method is designed as a tool for program verification of numerical computation and…
cs.MS2014★ 1 cited
Program Verification of Numerical Computation
Garry Pantelis
These notes outline a formal method for program verification of numerical computation. It forms the basis of the software package VPC in its initial phase of development. Much of t…