Sistema edo osagai batek zehaztutako baldintzak betetzen dituela eta erabilera operatiborako onargarria dela adierazten duen froga formala.
Erakustaldi formalak ez dira beharrezkoak sistema bat ziurtatzeko.