Muodollinen verifiointi
Muodollinen verifiointi on prosessi, jolla todistetaan, että ohjelmisto tai laitteisto toimii määrittelynsä mukaisesti. Formaalissa verifioinnissa käytetään matemaattista todistusta. Robottien ja lentokoneiden kaltaiset järjestelmät on todistettava oikeiksi, ennen kuin niitä voidaan käyttää.
