Formell verifiering
Formell verifiering är den process som används för att bevisa att en mjukvara eller maskinvara fungerar enligt specifikationen. Vid formell verifiering används ett matematiskt bevis. System som de som används i robotar eller flygplan måste bevisas vara korrekta innan de kan användas.
