Verification of Operability in Object-based Interfaces | Synapse