Formální verifikace je proces používaný k prokázání, že software nebo hardware funguje v souladu se specifikací. Formální verifikace používá matematický důkaz. Systémy, jako jsou například systémy používané v robotech nebo letadlech, musí být př…
Formální verifikaceje proces používaný k prokázání, žesoftwarenebohardwarefunguje v souladu se specifikací. Formální verifikace používámatematický důkaz. Systémy, jako jsou například systémy používané vrobotechneboletadlech, musí být před použitím prokázány jako správné.
