Wat is Geïntegreerde verificatie?