Verification Tools from the CONCUR project