TY - CONF ID - deploy378 UR - http://conferences.ncl.ac.uk/AVoCS2011/ A1 - Ponsard, Christophe A1 - Deprez, Jean-Christophe A1 - Delandtsheer, Renaud Y1 - 2012/09/13/ N2 - 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. TI - Is my Formal Method Tool Ready for the Industry ? AV - public M2 - Newcastle, UK T2 - AVOCS 2011 ER -