Design-time interface verifying