Bukti kebenaran teknik dalam pernyataan-pernyataan yang ditulis menggambarkan program input, output, dan kondisi menengah, seperangkat teorema dikembangkan berhubungan kepuasan dari pernyataan-pernyataan input untuk kepuasan dari pernyataan-pernyataan output, dan teorema-teorema yang dibuktikan atau dibantah menggunakan bukti oleh induksi.