Ett bevis för riktigheten teknik i vilka påståenden skrivs beskriver programmet ingångar, utgångar och mellanliggande villkor, en uppsättning teorem är utvecklat om tillfredsställelse ingående påståenden till belåtenhet utdata påståenden och satser bevisas eller motbevisats med bevis genom induktion.