Az eredmeny sztochasztikussaga nem jelenti azt, hogy a kod (ami determinisztikus) helyesseget ne lehetne ellenorizni. Hiszen ha implementalsz egy algoritmust, eleve magat az algoritmust is helyessegbizonyitotta valaki :)