--- abstract: 'Using formal methods requires adequate tool support. Many formal tools emerge from academic prototypes and evolve towards Industry. This short paper summaries on-going work within the DEPLOY project on providing answers to many practical questions frequently raised by Industry users regarding formal method tools in particular : performance, scalability, integration, user-friendliness, qualification/certification with regards to Industry standards.' accompaniment: [] book_title: ~ commentary: ~ completion_time: ~ composition_type: ~ conductors_id: [] conductors_name: [] contact_email: ~ copyright_holders: [] corp_creators: [] creators_id: - christophe.ponsard@cetic.be - jcd@cetic.be - renaud.delandtsheer@cetic.be creators_name: - family: Ponsard given: Christophe honourific: '' lineage: '' - family: Deprez given: Jean-Christophe honourific: '' lineage: '' - family: Delandtsheer given: Renaud honourific: '' lineage: '' data_type: ~ date: 2012-09-13 date_type: ~ datestamp: 2012-03-15 09:44:07 department: ~ dir: disk0/00/00/03/78 divisions: [] edit_lock_since: ~ edit_lock_until: 0 edit_lock_user: ~ editors_id: [] editors_name: [] eprint_status: archive eprintid: 378 event_dates: 12-14 September 2011 event_location: 'Newcastle, UK' event_title: AVOCS 2011 event_type: workshop exhibitors_id: [] exhibitors_name: [] fileinfo: application/pdf;http://deploy-eprints.ecs.soton.ac.uk/378/1/avocs%2Dcetic%2Devidence%2DV3.pdf full_text_status: public funders: [] id_number: ~ importid: ~ institution: ~ isbn: ~ ispublished: pub issn: ~ item_issues_comment: [] item_issues_count: ~ item_issues_description: [] item_issues_id: [] item_issues_reported_by: [] item_issues_resolved_by: [] item_issues_status: [] item_issues_timestamp: [] item_issues_type: [] keywords: ~ lastmod: 2012-03-15 09:44:07 latitude: ~ learning_level: ~ longitude: ~ lyricists_id: [] lyricists_name: [] metadata_visibility: show monograph_type: ~ note: ~ num_pieces: ~ number: ~ official_url: http://conferences.ncl.ac.uk/AVoCS2011/ output_media: ~ pagerange: ~ pages: ~ patent_applicant: ~ pedagogic_type: ~ place_of_pub: ~ pres_type: paper producers_id: [] producers_name: [] projects: [] publication: ~ publisher: ~ refereed: TRUE referencetext: ~ related_url_type: [] related_url_url: [] relation_type: [] relation_uri: [] rev_number: 15 series: ~ skill_areas: [] source: ~ status_changed: 2012-03-15 09:44:07 subjects: - deploy_industrial - deploy_tooldev succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ task_purpose: ~ thesis_type: ~ title: Is my Formal Method Tool Ready for the Industry ? type: conference_item userid: 34 volume: ~