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 vliegtui…
Formele verificatieis het proces dat wordt gebruikt om te bewijzen dat een stuksoftwareofhardwarewerkt volgens zijn specificatie. Formele verificatie maakt gebruik van eenwiskundig bewijs. Van systemen zoals die welke inrobotsofvliegtuigenworden gebruikt, moet worden bewezen dat zij correct zijn, voordat zij kunnen worden gebruikt.
