Recenze milník, zjistit, že postupy testování softwaru jsou kompletní a zajistit, že vývojář softwaru je připravena pro testování užitkovosti formální softwaru. Výsledků neformálního testování jsou rovněž přezkoumat.