Markoski, Branko; Hotomski, Petar; Malbaški, Dušan; Obradović, Danilo Resolution methods in proving the program correctness. (English) Zbl 1164.68002 Yugosl. J. Oper. Res. 17, No. 2, 275-285 (2007). The authors use an automatic resolution procedure to show how programming logic rules can be used to prove program correctness. The idea is illustrated using the previously described BASELOG-system. Reviewer: Zoran Ognjanović (Beograd) MSC: 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 03B70 Logic in computer science Keywords:specification; verification PDFBibTeX XMLCite \textit{B. Markoski} et al., Yugosl. J. Oper. Res. 17, No. 2, 275--285 (2007; Zbl 1164.68002) Full Text: DOI