2014/06/09 by Garry Pantelis, Pantelis, Garry
Computer Science · #03Fxx #F.3.1 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Mathematical Software (cs.MS) #acm:03Fxx #cs.LO #cs.MS #msc:03Fxx
paper · pdf · doi:10.48550/arxiv.1406.2079
arXiv admin note: text overlap with arXiv:1401.1290
arxiv created 2014/11/20 · arxiv updated 2014/11/21
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 forms the basis of the software package VPC. Included in the extensions that are presented here are disjunctions and methods for detecting non-computable programs. A more comprehensive list of the construction rules as higher order constructs is also presented.