Service Oriented Architectures currently provide little or no evidence that each remote component has been implemented correctly.
This is a problem for businesses hoping to exploit the potential benefits of SOA. We present a technique called Trustable
Remote Verification, which lets providers create behavioural guarantees of their web services. Our approach is flexible, using
Extended Static Checking for verification and has the significant advantage of requiring no additional trusted third party.