Presentation on API Verification from Frédérique Vallée and Marc Behrens