creators_name: Ponsard, Christophe creators_name: Deprez, Jean-Christophe creators_name: Delandtsheer, Renaud creators_id: christophe.ponsard@cetic.be creators_id: jcd@cetic.be creators_id: renaud.delandtsheer@cetic.be type: conference_item datestamp: 2012-03-15 09:44:07 lastmod: 2012-03-15 09:44:07 metadata_visibility: show title: Is my Formal Method Tool Ready for the Industry ? ispublished: pub subjects: deploy_industrial subjects: deploy_tooldev full_text_status: public pres_type: paper 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. date: 2012-09-13 event_title: AVOCS 2011 event_location: Newcastle, UK event_dates: 12-14 September 2011 event_type: workshop refereed: TRUE official_url: http://conferences.ncl.ac.uk/AVoCS2011/ citation: Ponsard, Christophe and Deprez, Jean-Christophe and Delandtsheer, Renaud (2012) Is my Formal Method Tool Ready for the Industry ? In: AVOCS 2011, 12-14 September 2011, Newcastle, UK. document_url: http://deploy-eprints.ecs.soton.ac.uk/378/1/avocs-cetic-evidence-V3.pdf