Chứng minh tính đúng đắn kỹ thuật trong đó khẳng định được viết mô tả chương trình đầu vào, đầu ra, và điều kiện trung bình, một tập hợp các định lý được phát triển liên quan sự hài lòng của khẳng định nhập đến sự hài lòng của khẳng định đầu ra và các định lý được chứng minh hay bác bỏ bằng cách sử dụng chứng minh bằng quy nạp.