Verification
System interface definition