พิสูจน์ของเทคนิคความถูกต้องใน assertions ที่เขียนอธิบายโปรแกรมกระผม ผลลัพธ์ และระดับปานกลางเงื่อนไข ชุดของ theorems พัฒนาเกี่ยวข้องกับความพึงพอใจของ assertions ป้อนค่าเพื่อความพึงพอใจของ assertions ผลลัพธ์ และ theorems จะพิสูจน์ หรือ disproved โดยใช้การพิสูจน์ โดย induction