Support for verification of interfaces