Formele verificatie
Formele verificatie is het proces dat wordt gebruikt om te bewijzen dat een stuk software of hardware werkt volgens zijn specificatie. Formele verificatie maakt gebruik van een wiskundig bewijs. Van systemen zoals die welke in robots of vliegtuigen worden gebruikt, moet worden bewezen dat zij correct zijn, voordat zij kunnen worden gebruikt.
