Ověření programu

Ověření programu - proces formálně dokazovat, že počítačový program dělá přesně co je řeknuto v specifikace programu to bylo psáno si uvědomit.