Formální verifikace
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řed použitím prokázány jako správné.
Vyhledávání