Mely állítások helyességét a technika bizonyítja írták, leírja a program bemenetek, kimenetek és köztes feltételek, tételek halmaza kifejlesztett kapcsolatos elégedettség megelégedésére a kimeneti állításai bemeneti állítások és a tételek is bizonyítani, vagy cáfolni használata próba indukciós.