×

Resolution methods in proving the program correctness. (English) Zbl 1164.68002

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.

MSC:

68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
03B70 Logic in computer science
PDFBibTeX XMLCite
Full Text: DOI