Een mechanisme voor het integreren van meerdere low-level verificatieschema's in een high-level API, die het mogelijk voor programma's die afhankelijk zijn van verificatie maakt moet onafhankelijk van de onderliggende verificatieschema worden geschreven.